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>
Thu, 9 Jan 2014 15:23:48 +0000 (16:23 +0100)
commit5522d9bcd9fb4f73b6210a97f590ac031bac5ac3
treef6d307bcea182fbf017d92762ebffe3ccd4fed82
parent483816bc9c82a17466bf593bba8431e24150915a
Run ant clean in update= dirs instead of removing dirs
fdroidserver/common.py