.gitattributes

   1 .gitattributes export-ignore
   2 .gitignore export-ignore
   3
   4 /.gitlab-ci.yml export-ignore
   5 /.mailmap export-ignore
   6 /check.sh export-ignore
   7 /DEVELOPER.readme export-ignore
   8 /ROADMAP export-ignore
   9 /TODO export-ignore
  10
  11 /bench/encoding/ export-ignore
  12 /examples/in_progress/ export-ignore
  13 /misc/ export-ignore
  14 /opam/ export-ignore
  15 /tests/ export-ignore
  16
  17 why3session.xml merge=ours
  18 why3shapes.gz merge=ours
  19 *.png diff=image