chiark / gitweb /
jenkins-build-all: use local mediawiki if available
authorHans-Christoph Steiner <hans@eds.org>
Thu, 11 Jan 2018 15:47:49 +0000 (16:47 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Thu, 11 Jan 2018 15:47:49 +0000 (16:47 +0100)
commit5ad661ef7bdbba5edb312ad82d809dfacd3dc42c
tree63f407499d5dc8aa52d5017672016523facd63ca
parentc4dbc58d10ddeff482529a84f1cd735a84358439
jenkins-build-all: use local mediawiki if available
jenkins-build-all