chiark / gitweb /
service.py: Fix the RemoteService `_mkcmd' protocol.
[chopwood] / cmd-admin.py
2014-05-24 Mark WoodingCosmetic fiddling.
2013-03-09 Mark Woodingcmd-admin.py: Add `source' command to remote command...
2013-03-08 Mark WoodingInitial commit.