2 Commits

Author	SHA1	Message	Date
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