.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 /DEVELOPER.readme export-ignore
   9 /ROADMAP export-ignore
  10 /TODO export-ignore
  11
  12 /bench/encoding/ export-ignore
  13 /examples_in_progress/ export-ignore
  14 /misc/ export-ignore
  15 /opam/ export-ignore
  16 /tests/ export-ignore
  17
  18 /src/trywhy3/Makefile export-ignore
  19
  20 why3session.xml merge=ours
  21 why3shapes.gz merge=ours
  22 *.png diff=image