Tue, 08 Jul 2008 16:19:23 +0200 | wenzelm | removed unused href_opt_name; | changeset | files |
Tue, 08 Jul 2008 13:45:27 +0200 | kleing | migrated at-sml-dev-p to macbroy24, hoping for more reliable hardware | changeset | files |
Mon, 07 Jul 2008 23:37:33 +0200 | kleing | retired mac-sml-dev. | changeset | files |