chiark / gitweb /
Merge branch 'fdroid-deploy' into 'master'
authorMarcus <bubu@bubu1.eu>
Wed, 14 Feb 2018 21:51:11 +0000 (21:51 +0000)
committerMarcus <bubu@bubu1.eu>
Wed, 14 Feb 2018 21:51:11 +0000 (21:51 +0000)
rename `fdroid server` to `fdroid deploy` and deprecate 'init'

Closes #264

See merge request fdroid/fdroidserver!462


Trivial merge