| Tue, 07 Aug 2001 22:42:22 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 07 Aug 2001 22:41:46 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 07 Aug 2001 22:37:30 +0200 | wenzelm | fix problem with user translations by making field names appear as consts; | changeset | files |