aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/ppvernac.mli
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Autres suppressions de composantes du traducteurGravatar herbelin2005-12-27
* Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...Gravatar herbelin2005-12-26