Changement dans le répertoire jrst2/src/site: --- correction du nom du fichier developerDoc.html --- (par bpoussin) Fichiers affectés: ------------------ site_en.xml modifié (1.2 -> 1.3)