chiark / gitweb /
Merge branch 'cleaner-clean' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Wed, 10 Jan 2018 19:14:49 +0000 (19:14 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Wed, 10 Jan 2018 19:14:49 +0000 (19:14 +0000)
commit3a792a8c3d7c29f536b34111f43d1ef9ace51d5b
treea6ba6331411f21e525797b3488eac3a8ce6ebeed
parent784e456cc6c3c88de04dab03d095f447ad958ec2
parente29be52da0c00156c3055026615ba8b9830ef463
Merge branch 'cleaner-clean' into 'master'

build: clean up only known subdirectories in build/*

Closes #438

See merge request fdroid/fdroidserver!432