Files
git/git-gui
Johannes Schindelin 25af28e8cb Merge pull request #1032 from max630/gitgui_GIT_GIT_unset
git-gui: correctly restore GIT_DIR after invoking commands
2018-10-04 21:34:03 +02:00
..