Marc Zinnschlag 62daecadf5 fixed record state issues after merge ... (cherry picked from commit 845cafd61c)		2015-11-01 13:39:44 +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 record state issues after merge	2015-11-01 13:39:44 +11:00
world	fixed record state issues after merge	2015-11-01 13:39:44 +11:00