summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterdev-ml/ocamlgraph: lablgtk is no more automagically discoveredAlfredo Tupone20 min.