Marc Zinnschlag e5038cbece fixed merge stage order; added proper initialisation ... (cherry picked from commit b7983d08ba)		2015-11-01 13:40:07 +11:00
..
doc	silenced a warning	2015-11-01 13:39:18 +11:00
filter	Remove empty line at the beginning of files	2015-09-08 06:40:06 +10:00
settings	Rewording of the user setting for extended configuration	2015-07-30 09:32:58 +10:00
tools	fixed merge stage order; added proper initialisation	2015-11-01 13:40:07 +11:00
world	fixed record state issues after merge	2015-11-01 13:39:44 +11:00