+set record insn-number-max 10000000
[nethome.git] / bin / fromdos
2001-07-09 shortSystem-independent scripts