summaryrefslogtreecommitdiff
path: root/core/ports
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2016-11-22 13:05:48 +0100
committerErich Eckner <git@eckner.net>2016-11-22 13:05:48 +0100
commitd85fba2c7c29e9aa374c311bd289837206f66f95 (patch)
tree2b06d9eda85414fa5d01030cc3a73c438125188d /core/ports
parentd7c6a225ae554f334ce4f2af16f2450c1267f462 (diff)
downloadcrux-patches-d85fba2c7c29e9aa374c311bd289837206f66f95.tar.xz
rsync: may-modify-others-Patch neu
Diffstat (limited to 'core/ports')
0 files changed, 0 insertions, 0 deletions