mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-07-18 11:31:00 -05:00

The executables were already ignoring it. This is a minimal change; PUTTY.HLP can still be built, and there's still all the context IDs lying around. Buildscr changes are untested.