gcheckgroggs
gcheckgroggs is a command that obtains the last time GROGGS was
accessed in any way. It is not yet implemented because the server command
required is not present yet.
Back to the command index.
Last modified: Fri Nov 3 10:34:53 1995
Richard Watts <Richard.Watts@cl.cam.ac.uk>