Johannes Schindelin c73027360b Merge 'git-gui-add-2nd-line' into HEAD

2016-08-12 16:06:58 +02:00

..

about.tcl

…

blame.tcl

…

branch_checkout.tcl

…

branch_create.tcl

…

branch_delete.tcl

…

branch_rename.tcl

…

branch.tcl

…

browser.tcl

…

checkout_op.tcl

…

choose_font.tcl

…

choose_repository.tcl

…

choose_rev.tcl

…

class.tcl

…

commit.tcl

…

console.tcl

…

database.tcl

…

date.tcl

…

diff.tcl

git gui: fix staging a second line to a 1-line file

2016-08-12 16:06:27 +02:00

encoding.tcl

…

error.tcl

…

git-gui.ico

…

index.tcl

…

line.tcl

…

logo.tcl

…

merge.tcl

…

mergetool.tcl

…

option.tcl

…

remote_add.tcl

…

remote_branch_delete.tcl

…

remote.tcl

…

search.tcl

…

shortcut.tcl

git-gui (Windows): use git-gui.exe in Create Desktop Shortcut

2016-08-12 16:06:05 +02:00

spellcheck.tcl

…

sshkey.tcl

…

status_bar.tcl

…

themed.tcl

…

tools_dlg.tcl

…

tools.tcl

…

transport.tcl

…

win32_shortcut.js

…

win32.tcl

…