summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune: use ED instead of DAlfredo Tupone2022-11-201-4/+3
* dev-ml/dune: separate dune-configuratorAlfredo Tupone2022-11-191-0/+66