summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterdev-ml/*: drop opam-2.1.5 & childrenAlfredo Tupone12 min.