| Mon, 21 Aug 2017 17:35:59 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 21 Aug 2017 17:31:03 +0200 | wenzelm | updated for release; | changeset | files |
| Mon, 21 Aug 2017 17:19:20 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 21 Aug 2017 17:15:26 +0200 | wenzelm | misc updates for release; | changeset | files |
| Mon, 21 Aug 2017 17:14:59 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 21 Aug 2017 16:58:51 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 21 Aug 2017 16:55:26 +0200 | wenzelm | misc tuning and updates for release; | changeset | files |
| Mon, 21 Aug 2017 16:12:52 +0200 | wenzelm | updated to sqlite-jdbc-3.20.0; | changeset | files |
| Mon, 21 Aug 2017 15:54:51 +0200 | wenzelm | updated to postgresql-42.1.4; | changeset | files |
| Mon, 21 Aug 2017 15:23:04 +0200 | wenzelm | avoid compound edit: it causes confusion about the context of the last line, e.g. final "end"; | changeset | files |
| Mon, 21 Aug 2017 11:36:34 +0200 | wenzelm | added missing file (cf. 9098c36abd1a); | changeset | files |
| Sun, 20 Aug 2017 23:41:17 +0200 | Manuel Eberl | Merged | changeset | files |