Files
git/git-gui
Johannes Schindelin c795274b47 Merge pull request #1032 from max630/gitgui_GIT_GIT_unset
git-gui: correctly restore GIT_DIR after invoking commands
2018-08-21 17:43:18 +02:00
..