Author: thomas Date: 2008-08-13 15:04:48 +0200 (Wed, 13 Aug 2008) New Revision: 17 Added: tags/Beta 12/ Log: Tag trunk as tags/Beta 12. Copied: tags/Beta 12 (from rev 16, trunk)