11 lines
83 B
Plaintext
11 lines
83 B
Plaintext
|
# Compiled source
|
||
|
|
*.mli
|
||
|
|
*.cmi
|
||
|
|
*.cmx
|
||
|
|
*.o
|
||
|
|
|
||
|
|
# The binaries
|
||
|
|
texvc
|
||
|
|
texvc_test
|
||
|
|
texvc_tex
|