?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
git-gui: remove warning when deleting correctly merged remote branch
2009-08-10 Heiko Voigtgit-gui: remove warning when deleting correctly merged...
Signed-off-by: Heiko Voigt <hvoigt@hvoigt.net>
 commit | commitdiff | tree
Michael J Gruber's git tree