chiark / gitweb /
buildserver: remove last vestige of 32-bit buildserver
authorHans-Christoph Steiner <hans@eds.org>
Mon, 4 Jul 2016 15:14:06 +0000 (17:14 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 4 Jul 2016 21:52:52 +0000 (23:52 +0200)
commit2daf00abb77d86f65efdcdc781f0dbd8e75b359c
tree901957e5de442b9adf9c621f7b5c3cfa9b4d81fe
parentd8bf2bb312516d52094699f1dd14d7cbbe0a97b6
buildserver: remove last vestige of 32-bit buildserver
makebuildserver