diff options
| author |  Fabio Porcedda <fabio.porcedda@gmail.com> | 2015-11-05 16:26:57 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2015-11-06 09:32:33 -0800 |
| commit | 45470396499488d9c8ddc8e0008d2596d5926931 (patch) | |
| tree | 7a6f844925c0ce151ae8b0ae0ff033a4bcf2d62b /git-gui | |
| parent | Merge branch 'as/subtree-with-spaces' (diff) | |
| download | tgif-45470396499488d9c8ddc8e0008d2596d5926931.tar.xz | |
contrib/subtree: remove "push" command from the "todo" file
Because the "push" command is already available, remove it from the
"todo" file.
Signed-off-by: Fabio Porcedda <fabio.porcedda@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions