Patch from RDB: rename ISO-8859-12 to -13, add ISO-8859-16, and
[sgt/putty] / doc / .cvsignore
1 *.html *.txt