?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
git-gui: Allow users to edit user.name, user.email from options.
[git-gui.git] / .gitignore
blobc714d382e87b5c18609f5934890c8b135a720262
1 GIT-VERSION-FILE
2 git-citool
3 git-gui
Tk based UI for Git