summaryrefslogtreecommitdiff
path: root/manualPorts/parallel
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-03-21 20:46:21 +0100
committerErich Eckner <git@eckner.net>2020-03-21 20:46:21 +0100
commitf7e03548623812b82cca72991297f8defd386ba5 (patch)
treec78b003eb69bceeb4944c813f0d099ce8d1ca5a5 /manualPorts/parallel
parent4e44c30a988f6345fae6381f7b76e07976eb9223 (diff)
downloadcrux-ports-f7e03548623812b82cca72991297f8defd386ba5.tar.xz
new ports uploaded
Diffstat (limited to 'manualPorts/parallel')
0 files changed, 0 insertions, 0 deletions