.gitignore 57 Bytes
Newer Older
Josh Kunz's avatar
Josh Kunz committed
1
*.swp
Josh Kunz's avatar
Josh Kunz committed
2 3
*.cmo
*.cmi
4
*.cma
5 6
*.pdf
*.facts
7
*.naga
Josh Kunz's avatar
Josh Kunz committed
8

Josh Kunz's avatar
Josh Kunz committed
9
Makefile.d