Définition de la taille de la boîte de dialogue d'exploration du serveur.
authorBenoît Pin <pin@cri.ensmp.fr>
Tue, 16 Aug 2011 12:18:12 +0000 (14:18 +0200)
committerBenoît Pin <pin@cri.ensmp.fr>
Tue, 16 Aug 2011 12:18:12 +0000 (14:18 +0200)

No differences found