Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'origin/master'
authorLuka Stanisic <luka.stanisic@imag.fr>
Fri, 11 Dec 2015 14:31:44 +0000 (15:31 +0100)
committerLuka Stanisic <luka.stanisic@imag.fr>
Fri, 11 Dec 2015 14:31:44 +0000 (15:31 +0100)

Trivial merge