aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/modops.ml
Commit message (Expand)AuthorAge
* porting r11900 11905 and 11953 to trunkGravatar barras2009-03-02
* Report des commits 11417 et 11437 de la v8.2Gravatar soubiran2008-10-15
* fixed bug with aliasesGravatar barras2008-05-07
* added the .vo checker (with independent Makefile)Gravatar barras2008-04-21