Files
git/git-gui
Johannes Schindelin 4db3444775 Merge pull request #1032 from max630/gitgui_GIT_GIT_unset
git-gui: correctly restore GIT_DIR after invoking commands
2018-06-14 13:49:10 +02:00
..