Marc Zinnschlag 73ab89bf70 merge references tables ...

(cherry picked from commit a97a632aa76c3b7499ae170b689676d2f32b8550)

2015-11-01 13:39:56 +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

merge references tables

2015-11-01 13:39:56 +11:00

world

fixed record state issues after merge

2015-11-01 13:39:44 +11:00