This commit is contained in:
John Whitington 2017-01-12 19:53:46 +00:00
parent 74e1d6a69c
commit b3aeff2e26
1 changed files with 2 additions and 13 deletions

15
.gitignore vendored
View File

@ -1,13 +1,2 @@
*.cmi .DS_Store
*.cmo .texpadtmp
*.cma
*.cmx
*.cmxa
*.top
*.o
*.a
._bcdi/
._ncdi/
._d/
cpdf
*.annot