Remove compile outputs from gitignore. They are all in _build/ now.

Signed-off-by: Karolis Petrauskas <[email protected]>
tlaplus · Aug 22, 2024 · 9e75ea9 · 9e75ea9
1 parent 0792653
commit 9e75ea9
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,7 +1,3 @@
-*.o
-*.cmi
-*.cmx
-*.annot
 *.exe
 *.err
 *.out