Hans-Christoph Steiner 5771908f90 make Expert preference show/hide all the expert preferences ...

This should make them less scary to people who do not want to see them at
all.  It also means that there can be quite a few expert preferences without
making the list super long for most users.

2018-06-25 21:11:00 +02:00

..

src

make Expert preference show/hide all the expert preferences

2018-06-25 21:11:00 +02:00

tools

move all translation scripts to tools/

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

build.gradle

reorder gradle "android" sub-blocks in standard order

2018-06-18 16:46:26 +02:00

lint.xml

get "basic" flavor building and running

2018-06-18 16:46:26 +02:00

proguard-rules.pro

switch from spongycastle to latest official bouncycastle

2018-04-19 15:51:44 +02:00