.gitattributes

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