summaryrefslogtreecommitdiff
path: root/manualPorts/parallel
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-05-24 12:17:40 +0200
committerErich Eckner <git@eckner.net>2020-05-24 12:17:40 +0200
commitf49d556f9c4f9da71c7e87407111ba808cb8e3d1 (patch)
tree12bc512477217af31ac754e08d2fe48e1a966aff /manualPorts/parallel
parent9198b6050792e0ff33eed8ffdd9b95023b1ef269 (diff)
downloadcrux-ports-f49d556f9c4f9da71c7e87407111ba808cb8e3d1.tar.xz
new ports uploaded
Diffstat (limited to 'manualPorts/parallel')
0 files changed, 0 insertions, 0 deletions