mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-04-14 01:28:06 -05:00

my editor, which has defaulted to showing them as explicit ^I for a while now, but it seems like a generally prudent idea in any case.) [originally from svn r8472]