relan 0bd995a731 Set category filter height to 48dp ...

This improves usability of the category spinner. Divider is now behind
it. This makes the layout visually more compact while keeping actual
touch target 48dp. See
http://www.google.com/design/spec/layout/metrics-keylines.html#metrics-keylines-touch-target-size

2015-11-05 11:56:18 +03:00

..

assets

Run optipng -o7 on all png images

2015-10-04 08:14:48 -07:00

libs/binaryDeps

Update jmdns to 3.4.2 from 3.4.1+ trunk

2015-10-06 14:11:30 +02:00

res

Set category filter height to 48dp

2015-11-05 11:56:18 +03:00

src

Fix all InlinedApi lint warnings

2015-11-01 20:16:31 +01:00

test

Fix tests after e085e039

2015-10-25 13:13:55 +01:00

tools

Make remove-unused-trans remove empty strings

2015-10-19 09:49:14 +02:00

AndroidManifest.xml

Bump to 0.97-alpha8

2015-10-31 10:12:07 +01:00

build.gradle

lint: ignore UnusedAttribute

2015-11-01 20:09:31 +01:00

proguard-rules.pro

Revert netcipher to fix SNI regression

2015-10-29 16:08:17 +01:00