Sun, 18 Oct 1998 16:49:56 +0200 | wenzelm | updated, tuned; | changeset | files |
Sun, 18 Oct 1998 16:36:03 +0200 | wenzelm | added Minho (Portugal); | changeset | files |
Fri, 16 Oct 1998 19:25:58 +0200 | berghofe | Fixed bug (improper handling of flag flat_names). | changeset | files |