chiark / gitweb /
Remove unwanted files in a more consistent way
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 8 Oct 2015 10:08:21 +0000 (12:08 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 8 Oct 2015 10:10:55 +0000 (12:10 +0200)
commit75b1c029acfff2d5264c2bd1841e90855cc0d87d
tree90dfa1228c01a8a3ce20e6163f75cc35605d71ef
parent21117b77d228458b4d3b003c4af19a2ac236b784
Remove unwanted files in a more consistent way
fdroidserver/build.py