mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-06-30 19:12:48 -05:00
Various tweaks to header comments to remind me which bits are meant to be
platform-independent, etc. [originally from svn r4148]
This commit is contained in: