chiark / gitweb /
cmd-admin.py: Add `source' command to remote command context.