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