chiark / gitweb /
Makefile: Create dummy PuTTY `Default%20Settings' file.
[profile] / dot / cgrc
1 log -c
2 diff -c