6 Commits

Author SHA1 Message Date
Daniel Martí
11a80ced6b Bump Privileged Extension to 0.1 2016-01-19 15:27:44 +01:00
Daniel Martí
975ce94246 Bump checkstyle to 6.14 2015-12-29 12:27:15 +01:00
Daniel Martí
6010a6136b Bump checkstyle to 6.13 and fix it after MR merge 2015-12-07 20:44:03 +01:00
Daniel Martí
4f34013885 Bump checkstyle to 6.12.1
Makes the existing checks a lot better (we were on 5.x) and allows us to
add checks that require newer versions.
2015-11-30 10:37:43 +01:00
Daniel Martí
c74e272de7 Bump build-tools to 23.0.2 2015-11-05 12:00:42 +01:00
Daniel Martí
2d62c94b5f Rename extension into Privileged-Extension
The previous name, F-Droid-Privileged, made it look like it was a replacement
for F-Droid. The full name, F-Droid-Privileged-Extension, is too long.
2015-10-08 19:10:30 +02:00