chiark / gitweb /
Run ant clean in update= dirs instead of removing dirs
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 6 Jan 2014 11:44:48 +0000 (12:44 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 6 Jan 2014 11:44:48 +0000 (12:44 +0100)
commit125a36b4dea1eac0df7021b4c82744db4b770759
treef6d307bcea182fbf017d92762ebffe3ccd4fed82
parentc06b8174493a45bd8123b9737cac0e9358d63616
Run ant clean in update= dirs instead of removing dirs
fdroidserver/common.py