From 081fe7422c04703f09a97bbdaa84477a34fcb653 Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Sat, 7 Feb 2026 13:21:07 +0100
Subject: chore: update gitignore.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 97210be..d0d25c5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,9 @@ syntax: glob
 html/
 latex/
 
+*.cmi
+*.cmo
+
 nebuild
 
 build/
-- 
cgit v1.2.3