Revision 323edff5f22cb8d116d0eb58083f9733e1f53126
Committed on 21/12/2013 2:21 am by
Kore Nordmann <mail@kore-nordmann.de> [GitHub Diff]
Revert "Use non-local dependent formatting options everywhere"
This reverts commit 5273fe7e6d19a4bdad3d987540171ff3a55fe053.