chiark / gitweb /
admin: New ?TOKENS formatting directive.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 1 Jan 2007 12:52:33 +0000 (12:52 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 1 Jan 2007 12:52:33 +0000 (12:52 +0000)
commit3331936b5cfb724db8b70b3b8f14112be0e8b9e8
treef9101cab0d833019348f9cfa4641ba5b38e84859
parentfd68efa965e43c44523c4bc1e940a9461df60290
admin: New ?TOKENS formatting directive.

Format a vector of pretokenized strings.  This obviates the need for
a complicated @alertcmd@ and suchlike.  It also means we can, at last,
resurrect @a_alert@.
server/admin.c