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 |
Tue, 09 Apr 2019 18:23:23 +0200 | Mike Becker | fixes missing return in copy_file() | changeset | files |