Updated the ignore list for *.cmi *.cmx and *.cmo files.
This commit is contained in:
parent
c51bc0e727
commit
5fa095f512
1 changed files with 6 additions and 1 deletions
|
@ -2,4 +2,9 @@
|
||||||
reference/*.[^z][^i][^p]
|
reference/*.[^z][^i][^p]
|
||||||
doc/*.html
|
doc/*.html
|
||||||
doc/*.css
|
doc/*.css
|
||||||
.swp$
|
^.*\.swp$
|
||||||
|
^.*\.cmx$
|
||||||
|
^.*\.cmo$
|
||||||
|
^.*\.cmi$
|
||||||
|
^.*\.o$
|
||||||
|
^justnukeit$
|
||||||
|
|
Loading…
Reference in a new issue