summaryrefslogtreecommitdiff
path: root/update.sh
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-05-13 17:15:31 +0200
committerErich Eckner <git@eckner.net>2020-05-13 17:15:31 +0200
commit7399e9f67f345a5fc02cfa56a6987b28ad469cf0 (patch)
tree8e58c0b252d7445c8cd19009064ac0b5b30329a9 /update.sh
parentc9c0da845a8738d219d9e84202d4ce3ddcffe105 (diff)
downloadcrux-ports-7399e9f67f345a5fc02cfa56a6987b28ad469cf0.tar.xz
new ports uploaded
Diffstat (limited to 'update.sh')
0 files changed, 0 insertions, 0 deletions