Hans-Christoph Steiner ce934d3846 change all Settings from CheckBox to Switch, except "expert" ...

This follows the Material preferred style using Switches instead of
CheckBoxes for boolean preferences.  This leaves the "expert" preferences
as CheckBoxes to differentiate them, and make them stand out as something
different.

2018-04-24 20:03:54 +02:00

..

src

change all Settings from CheckBox to Switch, except "expert"

2018-04-24 20:03:54 +02:00

tools

move all translation scripts to tools/

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

build.gradle

switch to com.android.support:preference-v14 for Material themes

2018-04-24 18:07:38 +02:00

lint.xml

new version of lint is more aggressive at announcing UnusedResources

2018-04-19 16:27:41 +02:00

proguard-rules.pro

switch from spongycastle to latest official bouncycastle

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