chiark / gitweb /
backend.py: Separate out the main work of `_update'.
[chopwood] / get-version
2013-03-08 Mark WoodingInitial commit.