diff options
| author |  Junio C Hamano <junkio@cox.net> | 2007-02-11 23:04:00 -0800 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-02-11 23:04:00 -0800 |
| commit | b4d2b04c9b6dc42c0bcf0513b9d8f731ec26db82 (patch) | |
| tree | 158e193e215cfa689421a087f4d15acac4c4b3ea /git-pull.sh | |
| parent | Add discussion section to git-tag documentation. (diff) | |
| parent | git-gui: Stop deleting gitk preferences. (diff) | |
| download | tgif-b4d2b04c9b6dc42c0bcf0513b9d8f731ec26db82.tar.xz | |
Merge git-gui
This merges git-gui project of Shawn as a subproject of git.git
at git-gui/ subdirectory.
This merge only melds two histories together. The toplevel Makefile
does not even know about git-gui yet.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-pull.sh')
0 files changed, 0 insertions, 0 deletions