chiark / gitweb /
Option --resetserver does nothing; have it used instead
authorcsagan5 <32685696+csagan5@users.noreply.github.com>
Tue, 30 Jan 2018 13:50:35 +0000 (14:50 +0100)
committercsagan5 <32685696+csagan5@users.noreply.github.com>
Tue, 30 Jan 2018 13:50:35 +0000 (14:50 +0100)
commitcf54c9514c2b0be004f23d79eb4ef99e68ce8860
treee8389979a4bc0489a0e6431953b9fa1de972b34e
parentadaf97a3cbfeb76dc4a71add5ca2c5d2e9ebf387
Option --resetserver does nothing; have it used instead
fdroidserver/build.py