aboutsummaryrefslogtreecommitdiff
path: root/disml.opam
Commit message (Collapse)AuthorAgeFilesLines
* Update my name in disml.opamAdelyn Breelove2018-12-121-2/+2
|
* Add opam build fileMishio5952018-11-201-0/+12