Daniel Martí e8093a66f0 Replace preferences by settings in other strings

2015-10-20 23:40:57 +02: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

Replace preferences by settings in other strings

2015-10-20 23:40:57 +02:00

src

Downloader: Don't use DownloadManager if null

2015-10-12 13:02:32 +02:00

test

checkstyle: Also check test sources

2015-10-09 11:19:41 +02:00

tools

Make remove-unused-trans remove empty strings

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

AndroidManifest.xml

Rename Preferences to Settings

2015-10-19 09:48:05 +02:00

build.gradle

Bump support appcompat-v7 library to 22.2.1

2015-10-19 07:56:50 +03:00

proguard-rules.pro

Don't keep all of jmdns

2015-10-06 14:19:05 +02:00