.gitignore - mininix-formalization - Coq Formalization for Mininix

about summary refs log tree commit diff stats

path: root/.gitignore

blob: 9e35ae7841152f1c644a68386996b393ba44490f (plain) (blame)

*.aux
*.glob
*.vio
*.vo
*.vok
*.vos
.CoqMakefile.d
.Makefile.coq.d
.direnv
.lia.cache
Makefile.coq
Makefile.coq.conf