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)
commit1ae4bd77b28c2849cab73163672c0cb3260e7a5d
treecd3c734a484088c1d7f338aca797d25d54052c34
parent1fef00589ae0293f090c39337279228d199d78f4
parent3e20ed85902cce2b5a332841ff10dddaa88b6146
Merge branch 'master' into 'master'

Changed setup.py +x for easy invocation

Closes #410

See merge request fdroid/fdroidserver!371