chiark / gitweb /
Merge branch 'master' of https://git.distorted.org.uk/~mdw/profile
[profile] / dot / cvsrc
CommitLineData
343e26f9
MW
1rdiff -up
2diff -Nup
db27ee7d
MW
3cvs -z6
4checkout -P
5update -dP
6tag -c
7remove -f