summaryrefslogtreecommitdiff
path: root/update.sh
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-07-04 20:08:41 +0200
committerErich Eckner <git@eckner.net>2020-07-04 20:08:41 +0200
commit4a22e15510860413a0d69b47b51e05f4b8a9f7b5 (patch)
tree296f0c07a2cfd38c2db2d6b140874c68569b689c /update.sh
parentd322c60e84651ae920a44269865ca5a20aa2617c (diff)
downloadcrux-ports-4a22e15510860413a0d69b47b51e05f4b8a9f7b5.tar.xz
new ports uploaded
Diffstat (limited to 'update.sh')
0 files changed, 0 insertions, 0 deletions