summaryrefslogtreecommitdiffstats
path: root/mlvirsh/.cvsignore
blob: 7d561e291423ad438510524032ca7dcf722839ee (plain)
1
2
3
4
5
6
7
8
*.cmi
*.cmo
*.cmx
*.cma
*.cmxa
Makefile
mlvirsh
mlvirsh.opt