summaryrefslogtreecommitdiff
path: root/update.sh
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2021-11-14 12:46:41 +0100
committerErich Eckner <git@eckner.net>2021-11-14 12:46:41 +0100
commit70c333d40510d73598fd990d20cf69ec60d81c4c (patch)
tree7b4b948ddfcf45125d58dd8e3fec644a1f708553 /update.sh
parent751905cc8cf78e1cca024aa283717c4934e51fc6 (diff)
downloadcrux-ports-70c333d40510d73598fd990d20cf69ec60d81c4c.tar.xz
new ports uploaded
Diffstat (limited to 'update.sh')
0 files changed, 0 insertions, 0 deletions