X-Git-Url: https://git.kianting.info/?a=blobdiff_plain;f=.gitignore;h=3762f6230351ab079bdef9e47fe27f37675b586c;hb=HEAD;hp=ede7000b43c062e37aeab604daa3bdc40aefb0e5;hpb=760c54de4fb8b4954998769b6119710f93243176;p=uann

diff --git a/.gitignore b/.gitignore
index ede7000..3762f62 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,6 @@ node_modules
 /src/*.js
 /tests/*.js
 .vscode
-activate.sh
\ No newline at end of file
+activate.sh
+*.cmo
+*.mli