Marc Zinnschlag fd55c0cae2 record IDs are no longer handled as a special case		2012-11-29 18:56:28 +01:00
..
doc	use commands for modifying globals	2012-11-29 16:05:28 +01:00
world	record IDs are no longer handled as a special case	2012-11-29 18:56:28 +01:00