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

diff --git a/.gitignore b/.gitignore
index 39b9fec..3762f62 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,7 @@
 node_modules
 /src/*.js
-/tests/*.js
\ No newline at end of file
+/tests/*.js
+.vscode
+activate.sh
+*.cmo
+*.mli