Rename CharWidth() to char_width(). The former name clashes with an API
[u/mdw/putty] / LATEST.VER
2002-10-16 simonAdd a file to the source archive mentioning the version...