<2010-06-27> (JPicEdt::initGUI) Renommage `convexe' -> `convex'
Authored by: vincentb1 2010-06-27
Parent: [r824]
Child: [r826]