wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-13 17:56:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Adding some gitignore to the math directory, to ignore the compiled binaries and intermediary objects."

Browse source
This commit is contained in:
Demon 2012-03-26 13:14:46 +00:00 committed by Gerrit Code Review
parent 0cea0bffb5 159708754c
commit 963bb1ee5b
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
math/.gitignore vendored Normal file
View file

@ -0,0 +1,10 @@
# Compiled source
*.mli
*.cmi
*.cmx
*.o
# The binaries
texvc
texvc_test
texvc_tex