summaryrefslogtreecommitdiff
path: root/scripts/sync-repos
AgeCommit message (Expand)AuthorFilesLines
2019-08-04Drop: obsolete script sync-reposLars Wirzenius1-4/+0
2012-04-02Remove obsolete stuffLars Wirzenius1-2/+0
2010-12-04Make sync-to-pieni generic, and rename it approriatelyLars Wirzenius1-0/+6