June 9, 2004
10:58 a.m.
Changement dans le répertoire topia: --- dernieres modifications dues aux tests de generation sur un fichier xmi --- (par mazelier) Fichiers affectés: ----------------- project.xml modifié (1.17 -> 1.18)