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 /Documentation/git-p4.txt | |
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 'Documentation/git-p4.txt')
0 files changed, 0 insertions, 0 deletions