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:53:03 +0000 (13:53 +0200)
committerPierre-Nicolas Clauss <pini@tuxfamily.org>
Tue, 29 Mar 2011 11:53:03 +0000 (13:53 +0200)

Trivial merge