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

..

src/main

Rename extension into Privileged-Extension

2015-10-08 19:10:30 +02:00

build.gradle

Rename extension into Privileged-Extension

2015-10-08 19:10:30 +02:00