mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-03-13 02:23:50 -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]