+set record insn-number-max 10000000
[nethome.git] / .inputrc
2002-02-16 shortde-branched to the main trunk