chiark / gitweb /
build: include buildserverid in build log for wiki
authorHans-Christoph Steiner <hans@eds.org>
Thu, 9 Feb 2017 22:49:42 +0000 (23:49 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 13 Feb 2017 19:08:45 +0000 (20:08 +0100)
commit837fc99d74f7694a64f014f3d38a8b07d9e8b3bd
tree4b370ca2584b4a99af4adec277a0fc434880ca88
parent57c3ba413c012cfd8990d10a861f6f14adcc204b
build: include buildserverid in build log for wiki
fdroidserver/build.py