projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23fc63b) | patch
git-tag -d <tag>: delete tag <tag>
authorKai Ruemmler <kai.ruemmler@gmx.net>
Tue, 8 Nov 2005 10:44:33 +0000 (11:44 +0100)
committerJunio C Hamano <junkio@cox.net>
Tue, 8 Nov 2005 19:26:10 +0000 (11:26 -0800)
commit61f81518a2372dd78fa03da2b3d62173c3268ee7
treef852fe1c0dc5fee6b7e21cbb2d9805b754c16e6etree | snapshot
parent23fc63bf8fb7c3627f78ca6743b4f3ae17a5df49commit | 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>
Documentation/git-tag.txt diff | blob | history
git-tag.sh diff | blob | history
The core git plumbing