summaryrefslogtreecommitdiff
path: root/driver/opterrors.mli
Commit message (Expand)AuthorAgeFilesLines
* changements printerJacques Garrigue2000-03-071-1/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Fichiers drivers pour le compilo natif.Xavier Leroy1995-07-021-0/+3