diff options
author | Kai Ruemmler <kai.ruemmler@gmx.net> | 2005-11-08 13:44:33 +0300 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-11-08 22:26:10 +0300 |
commit | 61f81518a2372dd78fa03da2b3d62173c3268ee7 (patch) | |
tree | f852fe1c0dc5fee6b7e21cbb2d9805b754c16e6e /http-push.c | |
parent | 23fc63bf8fb7c3627f78ca6743b4f3ae17a5df49 (diff) |
git-tag -d <tag>: delete tag <tag>
This adds option '-d' to git-tag.sh and documents it.
Signed-off-by: Kai Ruemmler <kai.ruemmler@gmx.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'http-push.c')
0 files changed, 0 insertions, 0 deletions