X-Git-Url: https://git.kianting.info/?a=blobdiff_plain;f=.gitignore;h=3762f6230351ab079bdef9e47fe27f37675b586c;hb=a788ad367540fe853285fe83428d4fe7b2a82309;hp=ede7000b43c062e37aeab604daa3bdc40aefb0e5;hpb=dc89f114ae00fcae1f8cd0bb5eae9977f15c3582;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