aboutsummaryrefslogtreecommitdiff
path: root/lib/common.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update copyright comment to add link to correct licenseMarc Coquand2024-05-151-1/+1
|
* RefactorMarc Coquand2024-05-131-0/+166