Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'github/master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 25 Sep 2018 07:49:15 +0000 (09:49 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 25 Sep 2018 07:49:15 +0000 (09:49 +0200)
commit94a795eaa220aea84b8094fbe7f61e3b217b55af
treea1aaa928d144f0b00e620de6914c20ec2a438d99
parentb536e3a935b90cc8a0e5b2efe6ce60a31573c257
parentbfd03c40d097a302905be66252fd30707b17dd88
Merge remote-tracking branch 'github/master'