Fri, 10 Oct 1997 15:46:50 +0200 | wenzelm | added longid; | changeset | files |
Fri, 10 Oct 1997 15:44:48 +0200 | wenzelm | decode: qualified is always const; | changeset | files |
Fri, 10 Oct 1997 14:51:58 +0200 | wenzelm | tuned; | changeset | files |
Thu, 09 Oct 1997 18:01:27 +0200 | wenzelm | \n at end; | changeset | files |