This website requires JavaScript.
Explore
Help
Register
Sign In
global
/
git
Watch
1
Star
0
Fork
0
You've already forked git
mirror of
https://github.com/git/git.git
synced
2026-01-30 20:38:27 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
5ea3f1965e445a260328f62b336bce2f787a3742
git
/
git-gui
/
lib
History
Johannes Schindelin
6a4dabc214
Merge branch 'pt/git4win-mods' of
https://github.com/patthoyts/git-gui
...
Signed-off-by: Johannes Schindelin <
johannes.schindelin@gmx.de
>
2016-10-29 10:41:40 +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
git-gui: Do not reset author details on amend
2016-10-29 10:41:13 +02:00
console.tcl
…
database.tcl
…
date.tcl
…
diff.tcl
git gui: fix staging a second line to a 1-line file
2016-10-29 10:41:09 +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-10-29 10:41:23 +02:00
spellcheck.tcl
…
sshkey.tcl
…
status_bar.tcl
…
themed.tcl
…
tools_dlg.tcl
…
tools.tcl
…
transport.tcl
…
win32_shortcut.js
…
win32.tcl
…
