Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge back master branch.
authorPierre-Nicolas Clauss <pini@ethernium.org>
Fri, 13 May 2011 13:21:05 +0000 (15:21 +0200)
committerPierre-Nicolas Clauss <pini@ethernium.org>
Fri, 13 May 2011 13:21:05 +0000 (15:21 +0200)

Trivial merge