X-Git-Url: https://git.kianting.info/?a=blobdiff_plain;f=.gitignore;h=3762f6230351ab079bdef9e47fe27f37675b586c;hb=HEAD;hp=3c3629e647f5ddf82548912e337bea9826b434af;hpb=6aa3c9a604ffd40cc0d3fdfa75bc575170e15044;p=uann

diff --git a/.gitignore b/.gitignore
index 3c3629e..3762f62 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,7 @@
 node_modules
+/src/*.js
+/tests/*.js
+.vscode
+activate.sh
+*.cmo
+*.mli