Marc Zinnschlag de5898c953 post merge fixes		2013-07-06 18:34:14 +02:00
..
doc	Merge remote-tracking branch 'graffy76/recordStatusDelegate'	2013-06-26 09:48:51 +02:00
settings	Fixed code conventions in user settings, changed top-level page names	2013-06-26 21:18:21 -05:00
tools	moved IdCollection base into its own source file pair and renamed it to Collection	2013-06-17 11:42:02 +02:00
world	post merge fixes	2013-07-06 18:34:14 +02:00