Permalink
Browse files

Ignore more directories.

  • Loading branch information...
1 parent 5614d6c commit 97da206f824d630b4fe86b89cbcfbce1596665b0 @gildor478 gildor478 committed Sep 15, 2012
Showing with 2 additions and 0 deletions.
  1. +2 −0 .gitignore
View
@@ -8,3 +8,5 @@ setup.log
src/cli/PluginsLoaded.ml
src/oasis/OASISConf.ml
bindist
+patches-to-apply
+tarballs

0 comments on commit 97da206

Please sign in to comment.