remote-curl: allow push options
[git] / gitk-git / .gitignore
1 /GIT-TCLTK-VARS
2 /gitk-wish