git-gui: call do_quit before destroying the main window
[gitweb.git] / lib / tools_dlg.tcl
2016-10-20 Merge branch 'os/preserve-author' into pu
2016-10-04 Merge branch 'dr/ru' into pu
2016-10-03 Merge branch 'va/i18n_2' into pu
2016-10-03 git-gui: fix incorrect use of Tcl append command
2010-02-08 Merge branch 'maint'
2010-01-29 Merge branch 'maint'
2010-01-28 git-gui: use themed tk widgets with Tk 8.5
2008-11-16 git-gui: Allow Tools request arguments from the user.
2008-11-16 git-gui: Add a Tools menu for arbitrary commands.