chiark / gitweb /
fdroid build: added sleep after destroy/undefine
authorMichael Pöhn <michael.poehn@fsfe.org>
Sat, 25 Mar 2017 03:19:36 +0000 (04:19 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:04:08 +0000 (20:04 +0200)
commitfb03e1784940a5eb1924bc916cc978a0ae0620ce
treeac11b7645b89d7237ca6d4bb1cf4c1b5a94da8d8
parent718d01dea2399de8f211fdc024c990cdd593cc75
fdroid build: added sleep after destroy/undefine
fdroidserver/build.py
makebuildserver