More diff page improvements

Tom

2014-10-28 f0ebfe6152959fda74bf7a5436bd765a0a231f6b

1
2
3
[submodule "src/main/distrib/data/gitignore"]
    path = src/main/distrib/data/gitignore
    url = https://github.com/github/gitignore.git