chiark / gitweb /
Remove javacc_path setting, unused
authorDaniel Martí <mvdan@mvdan.cc>
Fri, 6 Dec 2013 11:24:24 +0000 (12:24 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Fri, 6 Dec 2013 11:24:24 +0000 (12:24 +0100)
commit5fc48172a7c24259ccb2ddd528d2142d2554bcab
tree41c59d5320bdfd3a275f7de52fc5c77acf8a4aa3
parentd7f558ad715749697f67daf648dc78043d019429
Remove javacc_path setting, unused
config.buildserver.py
config.sample.py