summaryrefslogtreecommitdiff
path: root/testsuite/compiler/check/strMatch/Prelude.gf
AgeCommit message (Expand)Author
2021-06-11Add RGL dependencies - Prelude and Predef1Regina