chiark / gitweb /
document how to make a clean build
[jarrg-owen.git] / build-sh
2010-08-22 Ian Jacksonuse gzip --rsyncable
2010-08-22 Ian Jacksonactually discover if builds break
2010-08-22 Ian Jacksonfix new build script
2010-08-22 Ian Jacksonnew build script