Commits

doligez  committed c7cc00d

add *.cmt and *.cmti to lists of ignored files

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12913f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

  • Participants
  • Parent commits 7f46203

Comments (0)

Files changed (1)

File tools/setignore

 *.so
 *.obj
 
-*.cm[ioxa]
+*.cm[ioxat]
 *.cmx[as]
+*.cmti
 *.annot
 
 *.result