geditors

geditors displays information about which of the editors is logged on. It is not currently implemented because the server commands required to support it are not in place yet.


Back to the command index.
Last modified: Fri Nov 3 10:34:53 1995
Richard Watts <Richard.Watts@cl.cam.ac.uk>