Browse Source

Adapt .gitignore to oasis

 - Add oasis category
Leo 10 years ago
parent
commit
6024b80cde
1 changed files with 7 additions and 1 deletions
  1. 7 1
      .gitignore

+ 7 - 1
.gitignore

@@ -1,4 +1,3 @@
-_build
 oclaunch.byte
 oclaunch.byte
 session.vim
 session.vim
 settings_j.ml
 settings_j.ml
@@ -6,6 +5,13 @@ settings_j.mli
 settings_t.ml
 settings_t.ml
 settings_t.mli
 settings_t.mli
 /bin/sh: g : commande introuvable
 /bin/sh: g : commande introuvable
+# Oasis
+_build
+*.native
+*.byte
+*.docdir
+setup.data
+setup.log
 .paths
 .paths
 .project
 .project
 .settings/
 .settings/