Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote branch 'github/master'
authorPierre-Nicolas Clauss <pini@tuxfamily.org>
Tue, 29 Mar 2011 11:19:43 +0000 (13:19 +0200)
committerPierre-Nicolas Clauss <pini@tuxfamily.org>
Tue, 29 Mar 2011 11:19:43 +0000 (13:19 +0200)

Trivial merge