chiark / gitweb /
config.buildserver.py: use new java_paths keys
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 23 Feb 2016 12:26:00 +0000 (12:26 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 23 Feb 2016 12:26:00 +0000 (12:26 +0000)
commit3fbe4cc8f231b61bc5968bae3880b65820b76c07
tree4befd3db7e7f17afd85cac1012758be0fcf59f64
parent3e124c81054bd720cf1350abf37e1bc6ac194b08
config.buildserver.py: use new java_paths keys
buildserver/config.buildserver.py