Code

git-gui: Teach git gui about file type changes