summaryrefslogtreecommitdiff
path: root/stdlib/stdLabels.ml
Commit message (Expand)AuthorAgeFilesLines
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* passage aux labels strictsJacques Garrigue2001-09-061-0/+21