Marc Zinnschlag a3a2c2f476 second batch of changing over user settings usage to the new system		2015-12-14 17:38:33 +01:00
..
doc	first batch of changing over user settings usage to the new system	2015-12-12 14:49:16 +01:00
filter
prefs	added interface for querying settings	2015-12-11 11:50:06 +01:00
render	first batch of changing over user settings usage to the new system	2015-12-12 14:49:16 +01:00
settings
tools	second batch of changing over user settings usage to the new system	2015-12-14 17:38:33 +01:00
widget
world	second batch of changing over user settings usage to the new system	2015-12-14 17:38:33 +01:00