CVSROOT: /usr/cvs Changes by: jkrell at birch. 07/08/26 12:31:13 Modified files: cm3/scripts/win/: make-dist.cmd Log message: slightly terser butt coverage