More diff page improvements

Tom

2014-10-28 f0ebfe6152959fda74bf7a5436bd765a0a231f6b

1
2
3
4
[user "admin"]
    password = admin
    role = "#admin"
    role = "#notfederated"