.gitattributes 328 Bytes
Newer Older
1
/examples/in_progress/ export-ignore
2 3 4
/examples/hoare_logic/draft/ export-ignore
/tests/ export-ignore
/bench/encoding/ export-ignore
5 6 7 8 9
/misc/ export-ignore
/ROADMAP export-ignore
/DEVELOPER.readme export-ignore
/opam/ export-ignore
.gitignore export-ignore
10 11 12
.gitattributes export-ignore
/check.sh export-ignore
/TODO export-ignore