Skip to content
GitLab
Switch branch/tag
Find file Normal viewHistoryPermalink
.gitignore 93 Bytes
Newer Older
benoit's avatar
fix  
benoit committed
1
2
3
4
5
6
7
8
9
10
11 
BigN/NMake_gen.v
*.d
*.o
*.cmi
*.cmx
*.cmxs
*.vo
*.glob
*.aux
Makefile.coq
Makefile.coq.conf