summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ptmap: remove seq reference from dune build fileMaciej Barć2022-11-191-0/+11