chiark / gitweb /
cmd-admin.py: Add `source' command to remote command context.
[chopwood] / config.py
2013-03-08 Mark WoodingInitial commit.