shortlog
| Mon, 13 Nov 2017 13:27:18 +0100 | Mike Becker | fixes bad header specification in root Makefile.am | changeset | files |
| Mon, 13 Nov 2017 12:21:55 +0100 | Mike Becker | web doc has now proper titles | changeset | files |
| Mon, 13 Nov 2017 13:27:18 +0100 | Mike Becker | fixes bad header specification in root Makefile.am | changeset | files |
| Mon, 13 Nov 2017 12:21:55 +0100 | Mike Becker | web doc has now proper titles | changeset | files |