Thu, 04 May 2017 11:31:32 +0200 | wenzelm | clarified directory layout; | changeset | files |
Thu, 04 May 2017 11:06:48 +0200 | wenzelm | eliminated unused afp_pull_date table; | changeset | files |
Thu, 04 May 2017 00:19:05 +0200 | wenzelm | slightly more compact file; | changeset | files |