summaryrefslogtreecommitdiff
path: root/sync.sh
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-10-18 06:21:44 +0200
committerErich Eckner <git@eckner.net>2019-10-18 06:21:44 +0200
commit5df6ebf63af5d426939994fdecd814b2089d9b9d (patch)
tree6596871fb8b057fc8b2d093736cc59715db3a7d6 /sync.sh
parent676bfeee24de7931a4f09a7d48fd290956325c74 (diff)
downloadcrux-ports-5df6ebf63af5d426939994fdecd814b2089d9b9d.tar.xz
new ports uploaded
Diffstat (limited to 'sync.sh')
0 files changed, 0 insertions, 0 deletions