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