| Thu, 04 May 2017 12:30:19 +0200 | wenzelm | prefer standard getOrElse; | changeset | files |
| Thu, 04 May 2017 12:27:18 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 04 May 2017 12:23:14 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 04 May 2017 12:15:50 +0200 | wenzelm | more operations; | changeset | files |
| Thu, 04 May 2017 11:34:42 +0200 | wenzelm | merged | changeset | files |
| 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 |