mirror of
https://github.com/git/git.git
synced 2026-05-18 17:35:38 +02:00
1924d64f6e
* 'master' of git://repo.or.cz/git-gui: git-gui: Save geometry before the window layout is damaged git-gui: Give amend precedence to HEAD over MERGE_MSG git-gui: Include 'war on whitespace' fixes from git.git