chiark / gitweb /
Merge branch 'no_rm' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Sat, 25 Nov 2017 16:43:44 +0000 (16:43 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Sat, 25 Nov 2017 16:43:44 +0000 (16:43 +0000)
commita3815039d8691778ba293713efa8676aeb131c4f
tree8aab6772b4c96d01674ef014bcac548f9468c3eb
parent0f28c805b3cdd35498b741ea6d23d226c0738e53
parentc790f43bf3987aac7e5afe725bdd6ab58adf66cc
Merge branch 'no_rm' into 'master'

common: use python instead of calling out to 'rm'

See merge request fdroid/fdroidserver!381
fdroidserver/common.py