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

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