chiark / gitweb /
More minor cleanups.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 22 May 2010 09:13:18 +0000 (10:13 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 22 May 2010 09:14:25 +0000 (10:14 +0100)
commitdd68bf2eb2b421c06ed12a773d8bce2ff740d07b
tree70c65a98600eb4f3700c8bd00ccda38de0682d82
parentc9a6b55ccc1fe19c98346dffaff082264e1ae460
More minor cleanups.

  * priv/helper.c: Fix `itrace' comment header.

  * server/tripe.h: Remove unused type `admin_greetop'.
priv/helper.c
server/tripe.h