diff --git a/.gitignore b/.gitignore index de5209a..21fc555 100644 --- a/.gitignore +++ b/.gitignore @@ -8,7 +8,18 @@ _build *.cmx *.annot *.byte +*.native *.depend *.swp .settings \#*\# +*.mls +*.obc +*.c +*.h +*.o +*. +*.epci +*.epo +*.dot +test/*.ml \ No newline at end of file