Revision 5273fe7e6d19a4bdad3d987540171ff3a55fe053

Committed on 21/12/2013 2:01 am by Kore Nordmann <mail@kore-nordmann.de> [GitHub Diff]

Use non-local dependent formatting options everywhere