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