Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge back master branch
authorPierre-Nicolas Clauss <pini@ethernium.org>
Thu, 9 Jun 2011 08:37:42 +0000 (10:37 +0200)
committerPierre-Nicolas Clauss <pini@ethernium.org>
Thu, 9 Jun 2011 08:37:42 +0000 (10:37 +0200)

Trivial merge