Files
git/git-gui
Johannes Schindelin f711b9ab05 Merge pull request #1032 from max630/gitgui_GIT_GIT_unset
git-gui: correctly restore GIT_DIR after invoking commands
2018-05-24 15:07:26 +02:00
..