mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-12-01 10:46:36 +00:00
352abc726f
The pattern "*.mli" was incorrectly added to texvccheck/.gitignore by4c9dc2f08ewith the comment "Compiled source". As withd9a7da14f1, .mli files define the interfaces for the corresponding .ml module and thus should not be ignored. The only exception to this is parser.mli which is generated by the ocamlyacc from the parser.mly definition, so this change only ignores those files. Change-Id: I263df70e58fb14a7228c32d5c985ff7f1b841891
9 lines
72 B
Plaintext
9 lines
72 B
Plaintext
# Compiled source
|
|
*.cmi
|
|
*.cmx
|
|
*.o
|
|
parser.mli
|
|
|
|
# The binaries
|
|
texvccheck
|