Vincent Breitmoser 98dc854d03 Use 0-9 for generated admin pin (derp)

2018-05-23 16:24:05 +02:00

..

assets

Use keyserver.ubuntu.com as new default

2018-02-20 16:41:24 +01:00

java

Use 0-9 for generated admin pin (derp)

2018-05-23 16:24:05 +02:00

res

Add preference toggle for switching on/off WKD

2018-05-23 15:06:59 +02:00

AndroidManifest.xml

Merge pull request #2329 from wiktor-k/wkd-url

2018-05-23 15:30:46 +02:00