summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterdev-lang/idris2: fix remote-idMaciej Barć3 min.