chiark / gitweb /
~mdw / profile / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc5dd37) | patch
Makefile: Create dummy PuTTY `Default%20Settings' file.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 13 Jul 2024 19:44:52 +0000 (20:44 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 13 Jul 2024 19:44:56 +0000 (20:44 +0100)
commitd1c77d518b14a898535c172c32d0f795da910011
tree6ab681f86b91ab6097d24edd3ed590575cb7768atree | snapshot
parentcc5dd3761355d96b1983b73cd9194e945fc21aeecommit | diff
Makefile: Create dummy PuTTY `Default%20Settings' file.

Because of an ill-advised and mostly-reverted change, PuTTY ignores
boolean settings from X resources unless this file exists, so make sure
that it does.  Because that file used to be maintained here, it might
be a dangling symlink, which is no good: notice this and create an
empty file instead.
Makefile diff | blob | blame | history
Dotfiles and other configuration.