chiark / gitweb /
Merge branch 'master' into 'master'
authorMarcus <bubuiic@aol.com>
Tue, 14 Nov 2017 01:38:19 +0000 (01:38 +0000)
committerMarcus <bubuiic@aol.com>
Tue, 14 Nov 2017 01:38:19 +0000 (01:38 +0000)
Changed setup.py +x for easy invocation

Closes #410

See merge request fdroid/fdroidserver!371


Trivial merge