Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'origin/master'
authorQuintin Jean-Noël <quintinjean-noel@visiteur79.visiteurs.inrialpes.fr>
Mon, 18 Jul 2011 10:56:18 +0000 (12:56 +0200)
committerQuintin Jean-Noël <quintinjean-noel@visiteur79.visiteurs.inrialpes.fr>
Mon, 18 Jul 2011 10:56:18 +0000 (12:56 +0200)

Trivial merge