summaryrefslogtreecommitdiff
path: root/sync.sh
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-07-15 21:45:14 +0200
committerErich Eckner <git@eckner.net>2020-07-15 21:45:14 +0200
commitcd67e2eded7548db3c45a53f4446fda132e7d30e (patch)
tree72464d59cb250a5662cf2b06944879109541ffb8 /sync.sh
parent77f648ddef4681bb4931ec9bdf31f8776b56873e (diff)
downloadcrux-ports-cd67e2eded7548db3c45a53f4446fda132e7d30e.tar.xz
new ports uploaded
Diffstat (limited to 'sync.sh')
0 files changed, 0 insertions, 0 deletions