summaryrefslogtreecommitdiff
path: root/dgit-repos-server
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2014-10-30 00:38:04 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2014-11-08 16:22:37 +0000
commit2703ad402cb306b67cc0c96adfbd5335f0aff943 (patch)
treeeae1edbcd2574eba078835c3fcf3e5a8fc98b482 /dgit-repos-server
parent1c920a62c188ff676127973a548855fa7b02841c (diff)
Add `: dgit <blah>... ;' to the front of ssh remote commands, for the benefit of forced command wrappers
Diffstat (limited to 'dgit-repos-server')
0 files changed, 0 insertions, 0 deletions