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