.gitattributes 411 Bytes
Newer Older
1
.gitattributes export-ignore
Guillaume Melquiond's avatar
Guillaume Melquiond committed
2 3 4 5
.gitignore export-ignore

/.gitlab-ci.yml export-ignore
/.mailmap export-ignore
6
/check.sh export-ignore
Guillaume Melquiond's avatar
Guillaume Melquiond committed
7 8
/DEVELOPER.readme export-ignore
/ROADMAP export-ignore
9
/TODO export-ignore
Guillaume Melquiond's avatar
Guillaume Melquiond committed
10 11 12 13 14 15

/bench/encoding/ export-ignore
/examples/in_progress/ export-ignore
/misc/ export-ignore
/opam/ export-ignore
/tests/ export-ignore
16 17 18

why3session.xml merge=ours
why3shapes.gz merge=ours
19
*.png diff=image