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