X-Git-Url: https://git.kianting.info/?a=blobdiff_plain;f=.gitignore;h=3762f6230351ab079bdef9e47fe27f37675b586c;hb=HEAD;hp=7a3d9f033a75794c8340551894b6ec86575d4bf4;hpb=833796a41a4122c266b581d899c16422c172ad59;p=uann diff --git a/.gitignore b/.gitignore index 7a3d9f0..3762f62 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,7 @@ node_modules -.js \ No newline at end of file +/src/*.js +/tests/*.js +.vscode +activate.sh +*.cmo +*.mli