File: .gitignore

package info (click to toggle)
prooftree 0.13-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye
  • size: 592 kB
  • sloc: ml: 4,462; sh: 117; makefile: 111
file content (14 lines) | stat: -rw-r--r-- 130 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
*~
*.cmi
*.cmo
*.cmx
*.o
Makefile
Makefile.deps
dump.odoc-dump
prooftree
prooftree.man.html
prooftree.man.txt
version.ml
TAGS
doc