shortlog
| Wed, 10 Apr 2019 13:48:44 +0200 | Mike Becker | adds missing make target dependencies for documentation | changeset | files |
| Wed, 10 Apr 2019 12:54:24 +0200 | Mike Becker | harmonizes output of push and pull | changeset | files |
| Wed, 10 Apr 2019 13:48:44 +0200 | Mike Becker | adds missing make target dependencies for documentation | changeset | files |
| Wed, 10 Apr 2019 12:54:24 +0200 | Mike Becker | harmonizes output of push and pull | changeset | files |