summaryrefslogtreecommitdiff
path: root/manualPorts/parallel/.signature
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-08-18 20:29:06 +0200
committerErich Eckner <git@eckner.net>2018-08-18 20:29:06 +0200
commit015f80696ae119f17163801c8bdb9542b368da11 (patch)
treecca225bb7f6dfac625a29004eb44d351c04fa00f /manualPorts/parallel/.signature
parent749668b936be3045a0e3fd7bf4bc8b157ed0c89d (diff)
downloadcrux-ports-015f80696ae119f17163801c8bdb9542b368da11.tar.xz
new ports uploaded
Diffstat (limited to 'manualPorts/parallel/.signature')
0 files changed, 0 insertions, 0 deletions