jPicEdt Code

Another drawing editor for LaTeX with PSTricks & TikZ

Brought to you by: reynal, vincentb1

Commit [r2030] Maximize Restore History

Résumé: génération des i18n_properties.php sur le website

Authored by: vincentb1 2016-09-01

Browse code at this revision

Parent: [r2029]

Child: [r2031]

added

/trunk/jpicedt/javaprop2phpaa.pl

/trunk/jpicedt/javaprop2phpaa.pl Diff Switch to side-by-side view