git gui: keep selected branch when remote is changed in push dialog
[gitweb.git] / lib / tools.tcl
2009-04-08 Merge branch 'maint'
2009-03-30 Merge branch 'maint'
2009-03-24 git-gui: minor spelling fix and string factorisation.
2008-11-16 git-gui: Implement automatic rescan after Tool execution.
2008-11-16 git-gui: Allow Tools request arguments from the user.
2008-11-16 git-gui: Add a Tools menu for arbitrary commands.