chiark / gitweb /
dot/profile: Add a new function to export a variable only if it's defined.
[profile] / dot / Xdefaults.pterm
2020-05-24 Mark Woodingdot/Xdefaults, Makefile: Replace `putty-defaults' with...