chiark / gitweb /
Makefile: Create dummy PuTTY `Default%20Settings' file.
[profile] / dot / parallel-config
1 ### -*-conf-*-
2 --gnu