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