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