Daniel Martí bb9426763c Remove <p> from comments ...

These are written manually and mostly don't contain HTML. Some html is
fine if you want to use links or markup, but <p> elements are just
pointless and very seldom used. Be consistent in not using them.

2015-11-07 13:25:01 +01: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

Ensure the "no apps to display" doesn't overlap with the category spinner.

2015-11-07 09:05:10 +11:00

src

Remove <p> from comments

2015-11-07 13:25:01 +01:00

test

Format to make checkstyle happy. Remove unused code.

2015-11-07 09:40:44 +11:00

tools

Make remove-unused-trans remove empty strings

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

AndroidManifest.xml

Bump to 0.98-alpha0 after stable

2015-11-07 13:15:21 +01:00

build.gradle

Bump build-tools to 23.0.2

2015-11-05 12:00:42 +01:00

proguard-rules.pro

Revert netcipher to fix SNI regression

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