Hans-Christoph Steiner c3ec29df93 RepoDetails: add switches to disable any or all mirrors ...

This also needs to handle mirror lists with 1 element, since mirrors can
now be disabled. If the user disables all mirrors, then there will be only one URL in the
list of mirrors.  Asking for a random mirror in that case should not return
null, but the one enabled mirror.


closes #1696

2019-02-20 21:10:34 +01:00

..

src

RepoDetails: add switches to disable any or all mirrors

2019-02-20 21:10:34 +01:00

tools

move all translation scripts to tools/

2017-05-10 23:18:28 +02:00

build.gradle

version code 1006000

2019-02-15 16:00:12 +01:00

lint.xml

enable lint HardwareIds as error

2019-01-02 15:40:38 +01:00

proguard-rules.pro

enable Espresso tests with some basic UI tasks

2018-08-17 10:09:59 +02:00