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