| Tue, 23 Dec 2008 00:56:03 +0100 | wenzelm | added platform_file; | changeset | files |
| Mon, 22 Dec 2008 19:57:49 +0100 | wenzelm | proper -X option; | changeset | files |
| Mon, 22 Dec 2008 16:57:11 +0100 | wenzelm | unregister: refrain from cancelling self, which sometimes caused sledghammer to fail just before printing the result; | changeset | files |