chiark / gitweb /
build server use up instead or resume; logging
authorHans-Christoph Steiner <hans@eds.org>
Mon, 22 May 2017 15:53:12 +0000 (17:53 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:06:06 +0000 (20:06 +0200)
commitacf25a399983a578dc45bb2c56b47a902af8ed92
tree88589d9504290c58eff93b888a3459984ea638f3
parentc749c6848693849442877b5a6d994d00465fd221
build server use up instead or resume; logging
fdroidserver/build.py
fdroidserver/vmtools.py