aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/cerrors.mli
Commit message (Expand)AuthorAge
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parceGravatar ddr2002-02-20