summaryrefslogtreecommitdiff
path: root/manualPorts/parallel
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-09-21 07:22:37 +0200
committerErich Eckner <git@eckner.net>2018-09-21 07:22:37 +0200
commit13d49ff1191bed689cd1b0097fcf37330d470e71 (patch)
treed72c77dbe97c56006573a8d0bd96d33c3f5e8bd4 /manualPorts/parallel
parent9fdbd90d6b55c4c4bdb0671b57166638614d2f59 (diff)
downloadcrux-ports-13d49ff1191bed689cd1b0097fcf37330d470e71.tar.xz
new ports uploaded
Diffstat (limited to 'manualPorts/parallel')
0 files changed, 0 insertions, 0 deletions