Browse Source

enrich gitignore

Getty Ritter 9 months ago
parent
commit
83c3d76826
1 changed files with 2 additions and 0 deletions
  1. 2 0
      .gitignore

+ 2 - 0
.gitignore

@@ -1,2 +1,4 @@
 *.merlin
 _build
+dune-project
+\#*