summaryrefslogtreecommitdiff
path: root/localdebgitreinit
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2016-10-21 19:30:11 +0200
committerJonas Smedegaard <dr@jones.dk>2016-10-21 22:00:48 +0200
commitce96897416c610803e8d68b79315125d3efe20fa (patch)
tree4677afae751f3718c9577092bf187021845b81bb /localdebgitreinit
parent1b8c4f84e6683783d14b454dae413d30747731e3 (diff)
Drop undocumented option --user|-u (better use ssh syntax).
Diffstat (limited to 'localdebgitreinit')
0 files changed, 0 insertions, 0 deletions