chiark / gitweb /
~mdw / profile / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
Makefile: Create dummy PuTTY `Default%20Settings' file.
[profile] / dot / cvsrc
1 rdiff -up
2 diff -Nup
3 cvs -z6
4 checkout -P
5 update -dP
6 tag -c
7 remove -f
Dotfiles and other configuration.