summaryrefslogtreecommitdiff
path: root/bin/sync
AgeCommit message (Collapse)AuthorFilesLines
2019-07-05build: add gprbuild projectsSamuel Holland1-0/+6
2019-07-04bin/sync: retrieve erroneously-removed utilityKiyoshi Aman2-0/+115