Retrait d'une bordure inutile.
authorBenoît Pin <pin@cri.ensmp.fr>
Tue, 16 Aug 2011 10:08:36 +0000 (12:08 +0200)
committerBenoît Pin <pin@cri.ensmp.fr>
Tue, 16 Aug 2011 10:08:36 +0000 (12:08 +0200)

No differences found