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

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12913 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10 10:27:35 +00:00 · 2012-09-10 10:27:35 +00:00 · be4cf7d973
parent 526d44647b
commit be4cf7d973
1 changed files with 2 additions and 1 deletions
--- a/tools/setignore
+++ b/tools/setignore
@ -19,8 +19,9 @@
 *.so
 *.obj

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

 *.result