Files
git/git-gui
Johannes Schindelin 43cd61688f Merge pull request #1032 from max630/gitgui_GIT_GIT_unset
git-gui: correctly restore GIT_DIR after invoking commands
2018-01-22 13:00:12 +01:00
..