Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Don't add git-only files in git-archive
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 14 Sep 2015 19:20:08 +0000 (21:20 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 14 Sep 2015 19:21:22 +0000 (21:21 +0200)
commit649d01d5c160b8d4f7ed6a2cb7b1670931d19938
treedc00fec0b01619de7c2863d4aaf481d5594cbf83
parent3d9c02144bde5b04770cdb80e55ff805986f1e51
Don't add git-only files in git-archive

So, don't ignore them during the distcheck
.gitattributes [new file with mode: 0644]
tools/internal/check_dist_archive.exclude