chiark / gitweb /
UI fixes: jpctb does not run ypp if user closes the control panel; remove option...
[jarrg-owen.git] / build-sh
2010-08-22 Ian Jacksonactually discover if builds break
2010-08-22 Ian Jacksonfix new build script
2010-08-22 Ian Jacksonnew build script