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)
commit528d5a0d1a18af2fcc6aff59f7926d3374839108
treef45215521cdfcbc16f8ff45734819be0b90b5c9d
parent5607ccdc4169348e378134b8ea1cd835aabbec90
parent09a6b37ac04b640a3f785ce5cb74baff9f36c2e7
Merge branch 'fdroid-mirror' into 'master'

mirror: new command to make a mirror of a repo

See merge request fdroid/fdroidserver!389