This website requires JavaScript.
Explore
Help
Sign In
golem
/
Math
Watch
9
Star
0
Fork
You've already forked Math
0
Code
Issues
Pull Requests
Releases
Wiki
Activity
80f4d08f37
Math
/
math
/
.gitignore
11 lines
88 B
Plaintext
Raw
Normal View
History
Unescape
Escape
Adding some gitignore to the math directory, to ignore the compiled binaries and intermediary objects. Change-Id: Ifcab01b5a67a8da65f8522cc00f2ae00e74a915a
2012-03-25 19:13:52 +00:00
# Compiled source
*.cmi
*.cmx
*.o
Do not ignore all .mli files in texvccheck The pattern "*.mli" was incorrectly added to texvccheck/.gitignore by 4c9dc2f08e03ad23e1e2f0cefc52ca6893fbe6a2 with the comment "Compiled source". As with d9a7da14f10f6c53bdf1a18febab030d48f0a960, .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
2016-12-25 11:44:32 +00:00
parser.mli
Adding some gitignore to the math directory, to ignore the compiled binaries and intermediary objects. Change-Id: Ifcab01b5a67a8da65f8522cc00f2ae00e74a915a
2012-03-25 19:13:52 +00:00
# The binaries
texvc
texvc_test
texvc_tex