chiark / gitweb /
dot/putty-defaults: Track font-name preference label changes.
[profile] / dot / mdw.session
2011-06-04 Mark WoodingMerge remote-tracking branch 'crybaby'
2011-06-04 Mark WoodingGnome hacking: Introduce a custom session file.