mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-06-02 09:50:29 -05:00

new features - the code had got ahead of the docs), and propagate a couple of cross-references to other files as a result. [originally from svn r1424]