diff options
author | Jonas Smedegaard <dr@jones.dk> | 2016-10-21 19:30:11 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2016-10-21 22:00:48 +0200 |
commit | ce96897416c610803e8d68b79315125d3efe20fa (patch) | |
tree | 4677afae751f3718c9577092bf187021845b81bb /localdebgitreinit | |
parent | 1b8c4f84e6683783d14b454dae413d30747731e3 (diff) |
Drop undocumented option --user|-u (better use ssh syntax).
Diffstat (limited to 'localdebgitreinit')
0 files changed, 0 insertions, 0 deletions