putty-defaults: Revert bogus change to Putty terminal height.
[profile] / inputrc
1 ### bash and friends, readline configuration
2
3 ## Eight-bit sensibleness
4 set input-meta on
5 set output-meta on
6 set convert-meta off