Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fix make dist
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 1 May 2017 06:54:57 +0000 (08:54 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 1 May 2017 06:54:57 +0000 (08:54 +0200)
commit7fb3e75abb599185cba4ee5795dcc560732e4f00
tree4214365073dab145e68a3b47d3d1abcc4e0d8413
parentf1e469ce075c0a1ad21a7fd0fdb587f9a3cb5289
fix make dist
tools/internal/check_dist_archive.exclude