add cmx and exe
This commit is contained in:
parent
d4dbdb996a
commit
37a5cf20de
1 changed files with 2 additions and 0 deletions
|
@ -36,5 +36,7 @@ ignore = Name *.vrb
|
||||||
ignore = Name *.o
|
ignore = Name *.o
|
||||||
ignore = Name *.out
|
ignore = Name *.out
|
||||||
ignore = Name *.cmi
|
ignore = Name *.cmi
|
||||||
|
ignore = Name *.cmx
|
||||||
ignore = Name *.byte
|
ignore = Name *.byte
|
||||||
|
ignore = Name *.exe
|
||||||
ignore = Name pyvenv.cfg
|
ignore = Name pyvenv.cfg
|
||||||
|
|
Loading…
Reference in a new issue