Marc Zinnschlag 5ec9d370cb check if ID is already in use when creating new IDs		2013-07-28 15:27:15 +02:00
..
doc	Merge remote-tracking branch 'graffy76/recordStatusDelegate'	2013-06-26 09:48:51 +02:00
settings	Fixed setting synchronization issue	2013-07-17 20:19:01 -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	check if ID is already in use when creating new IDs	2013-07-28 15:27:15 +02:00