diff --git a/.gitignore b/.gitignore index 9377af3..3d66f85 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ +\#*# *.cmx *~ *.o logarion -_build \ No newline at end of file +_build