summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterfix: Generalize opam configuration with ${HOME}Thomas Letan18 months