Mon, 03 May 1999 14:43:52 +0200 | wenzelm | fixed reqs? | changeset | files |
Mon, 03 May 1999 11:19:08 +0200 | paulson | improved error handling | changeset | files |
Mon, 03 May 1999 11:18:44 +0200 | paulson | renamed state variables | changeset | files |
Mon, 03 May 1999 11:18:11 +0200 | paulson | tidied | changeset | files |
Mon, 03 May 1999 10:57:14 +0200 | wenzelm | tuned; | changeset | files |
Mon, 03 May 1999 10:51:44 +0200 | wenzelm | prefer /bin for ./configure; | changeset | files |
Mon, 03 May 1999 10:47:32 +0200 | wenzelm | try chown root:root; | changeset | files |
Sat, 01 May 1999 00:10:05 +0200 | wenzelm | renamed 'dummy' to 'dummy_pattern' (less dangerous); | changeset | files |