Thu, 28 Aug 2008 00:33:09 +0200 | wenzelm | removed obsolete XML.Output workaround; | changeset | files |
Thu, 28 Aug 2008 00:33:08 +0200 | wenzelm | added get_int; | changeset | files |
Thu, 28 Aug 2008 00:33:07 +0200 | wenzelm | removed obsolete get_string; | changeset | files |