chiark / gitweb /
Merge branch 'rsync-improvements-for-fdroid-server-update' into 'master'
authorCiaran Gultnieks <ciaran@ciarang.com>
Mon, 9 Jun 2014 22:14:34 +0000 (22:14 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Mon, 9 Jun 2014 22:14:34 +0000 (22:14 +0000)
rsync improvements for fdroid server update

This is a couple of improvements to how `fdroid server update` uses `rsync`.

(also, please remove the branch when accepting any of my merge requests)


Trivial merge