Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
hardlinks target now recreate the links
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 28 Jun 2017 09:34:13 +0000 (11:34 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 28 Jun 2017 12:01:15 +0000 (14:01 +0200)
commit6fcdc166f72105f93c04dac5f9fe2b3d215d4c61
tree823cfb9f421418e4b92492e6615a355e1dd0c5af
parent97e6cedb1216174658a7cf3ede11d53ed37ef3e2
hardlinks target now recreate the links

A file got desynch'ed on my disk. Maybe git did remove and recreate it?
tools/cmake/Distrib.cmake