aboutsummaryrefslogtreecommitdiff
path: root/stitch.opam.template (follow)
Commit message (Expand)AuthorAgeFilesLines
* stuffMarc Coquand2024-05-171-0/+14