+set record insn-number-max 10000000
[nethome.git] / bin / CVSROOTdump
2001-07-10 shortDump comment-strippped current directory contents,...