X-Git-Url: https://git.kianting.info/?a=blobdiff_plain;f=.gitignore;h=3762f6230351ab079bdef9e47fe27f37675b586c;hb=HEAD;hp=1d99120eb665713e3903de4fd34aeca203c1edd8;hpb=77dc1ded9c4adbb3108269ebe881c535353d8b61;p=uann

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