cgd ec77f0b327 new RCS ID format.		1994-10-26 02:01:24 +00:00
..
binpatch	…
dumpfont	…
loadbsd	…
loadkmap	…
videomode	…