?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
git-gui: Stop deleting gitk preferences.
[git-gui/git-gui-i18n.git] / .gitignore
blobc714d382e87b5c18609f5934890c8b135a720262
1 GIT-VERSION-FILE
2 git-citool
3 git-gui
Internationalization for git-gui