From fe61d9fd09142cbaa0fbdc5178dd88d2a4e240b4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Luc=C3=A0s?= Date: Fri, 24 Feb 2023 23:13:46 +0100 Subject: [PATCH] Update .gitignore --- .gitignore | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.gitignore b/.gitignore index e278cf5..6d386db 100644 --- a/.gitignore +++ b/.gitignore @@ -2,5 +2,11 @@ lexer.ml parser.cmi parser.ml +# Compiled files *.cmo *.mli +*.cmi +comp + +# MacOS file +.DS_Store