summaryrefslogtreecommitdiff
path: root/build-aux/pull-corpus.scm
AgeCommit message (Collapse)Author
2021-06-15build-aux: Add corpus pull script.Arun Isaac
This is a follow-up to commit 7a78c23f6f2f1c32abb508563a700cd535b29ad1 adding a file that was missed out. * build-aux/pull-corpus.scm: New file.