Lukas Reschke 15be763d46 Add right margin to codestyle file ... Defaults to 120, we want 80 apparently		2014-12-04 16:09:30 +01:00
..
codeStyleSettings.xml	Add right margin to codestyle file	2014-12-04 16:09:30 +01:00