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>
Thu, 17 Sep 2015 12:10:29 +0000 (14:10 +0200)
commitaf8cbdb6465f7f1efb0ef57050e3eaba4b8d4bd9
treeb1480cf732e7f18fba9241fdad5c9f4dceb9735d
parent4d463ea908564e821bbfb88115c96df6673a2b2c
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