Marc Zinnschlag c23e9e03fd Merge branch 'refs'		2014-06-11 11:44:43 +02:00
..
doc	Merge branch 'refs'	2014-05-30 10:38:38 +02:00
filter
settings	removed a redundant (and unsufficiently configured) copy of ConfigurationManager	2014-05-10 17:46:10 +02:00
tools	silenced two warnings	2014-05-30 10:18:05 +02:00
world	Merge branch 'refs'	2014-06-11 11:44:43 +02:00