build.py: make the build server configurable
authorHelmut Grohne <helmut@subdivi.de>
Sat, 2 Mar 2019 07:27:12 +0000 (08:27 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sat, 2 Mar 2019 07:27:12 +0000 (08:27 +0100)
commit9c981665b8cd8cb1957947bda8d41ce97f451f4e
tree629552a3faebdfd3824f4ea757e56e59f54307bd
parentfee81e86d0bda64b6a5b82c46273b7e9980b23bd
build.py: make the build server configurable
build.py