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 11:03:37 +0200 | Olaf Wintermann | store origin of file conflicts | changeset | files |