summaryrefslogtreecommitdiff
path: root/stdlib/moreLabels.ml
Commit message (Expand)AuthorAgeFilesLines
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* MoreLabels for better 3.02 compatibilityJacques Garrigue2001-10-031-0/+21