remove default border of splitters and workarounds for that
authorRobert Kaiser <robert@widebook.box.kairo.at>
Fri, 4 Jan 2013 22:20:24 +0000 (23:20 +0100)
committerRobert Kaiser <robert@widebook.box.kairo.at>
Fri, 4 Jan 2013 22:20:24 +0000 (23:20 +0100)

No differences found