Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Update check-dist-archive.exclude.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sun, 17 Jun 2018 20:04:40 +0000 (22:04 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sun, 17 Jun 2018 20:25:04 +0000 (22:25 +0200)
commit6bef2f5f125c1550ab944ea64474083ae6035c96
tree3f5a765d3579948d774006022d84e51e8c439ffc
parent85ba969329ba8ffcdd29e8adbfdb58047bfc80ee
Update check-dist-archive.exclude.

Reorder, remove obsolete lines, and add .circleci/*.
tools/internal/check_dist_archive.exclude