chiark / gitweb /
Merge branch 'fdroid-mirror' into 'master'
authorMarcus <bubuiic@aol.com>
Wed, 29 Nov 2017 17:29:42 +0000 (17:29 +0000)
committerMarcus <bubuiic@aol.com>
Wed, 29 Nov 2017 17:29:42 +0000 (17:29 +0000)
mirror: new command to make a mirror of a repo

See merge request fdroid/fdroidserver!389


Trivial merge