Revert the default for font bolding style back to using colours rather
[sgt/putty] / Buildscr.cv
2013-07-22 simonAdd a bob script to do Coverity scanning.