summaryrefslogtreecommitdiff
path: root/manualPorts/mounted
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2021-03-25 22:11:20 +0100
committerErich Eckner <git@eckner.net>2021-03-25 22:11:20 +0100
commit6124637f28355e1d8c8bd427539b8e96dd191231 (patch)
treec5964a227e91031463bbfb7fa7f66279802aff51 /manualPorts/mounted
parentefaba27fc5d673ad2e20da952ace40970615c546 (diff)
downloadcrux-ports-6124637f28355e1d8c8bd427539b8e96dd191231.tar.xz
manualPorts/lastVersion.sh: fix #kernel and some cleanup
Diffstat (limited to 'manualPorts/mounted')
0 files changed, 0 insertions, 0 deletions