aboutsummaryrefslogtreecommitdiff
path: root/descr
AgeCommit message (Collapse)AuthorFilesLines
2019-05-24Attempt to fix opam build with opam2: use a .install file and don't rely on ↵Robert Norton1-1/+1
opam being in path to get SAIL_DIR (which seems to be unreliable).
2019-05-20Add descr file for opam.0.1Robert Norton1-0/+1