git-gui: ensure the file in the diff pane is in the list of selected files
[gitweb.git] / lib / win32_shortcut.js
2007-10-23 Merge branch 'maint'
2007-10-21 Merge branch 'maint'
2007-10-13 git-gui: Use proper Windows shortcuts instead of bat...