1
0
mirror of https://github.com/git/git.git synced 2025-04-24 20:19:21 +00:00
Heiko Voigt c0d153295c git gui: make current branch default in "remote delete branch" merge check
We already do the same when locally deleting a branch.

Signed-off-by: Heiko Voigt <hvoigt@hvoigt.net>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
2009-12-05 13:17:51 -08:00
..
2007-10-20 20:43:36 -04:00