<2012-08-29> Génération de la version de jPicEdt pour le manuel
<2012-08-28> Ajout encoding, contribué par Jobst.
Authored by: vincentb1 2012-08-29
Parent: [r1547]
Child: [r1549]
