summaryrefslogtreecommitdiff
path: root/stdlib/std_exit.ml
Commit message (Expand)AuthorAgeFilesLines
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* pervasives: ajout de do_at_exit.Xavier Leroy1996-10-091-2/+2
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Ajout de std_exitXavier Leroy1995-10-231-0/+16