chiark / gitweb /
backend.py: Change default lock directory.
[chopwood] / .skelrc
2013-03-08 Mark WoodingInitial commit.