Really exported code formatting preferences
Merge branch 'master' of https://github.com/pgillet/Glue.git

Conflicts:
	glue-dev/formatter-prefs.xml