summaryrefslogtreecommitdiff
path: root/manualPorts
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-09-17 20:55:45 +0200
committerErich Eckner <git@eckner.net>2019-09-17 21:00:47 +0200
commitfcd4409a012aff1f0f00aad38859cc84badb58bf (patch)
tree9566c70951ff122fdf00135c4f5b113d823efb46 /manualPorts
parent372951fca614deb52740f4eec8a85e88aa114402 (diff)
downloadcrux-ports-fcd4409a012aff1f0f00aad38859cc84badb58bf.tar.xz
sync.sh: knock before rsyncing
Diffstat (limited to 'manualPorts')
0 files changed, 0 insertions, 0 deletions