]> git.pond.sub.org Git - empserver/commit
(GUINEA_PIGS, opt_GUINEA_PIGS, Options): New option GUINEA_PIGS.
authorMarkus Armbruster <armbru@pond.sub.org>
Thu, 16 Dec 2004 22:01:30 +0000 (22:01 +0000)
committerMarkus Armbruster <armbru@pond.sub.org>
Thu, 16 Dec 2004 22:01:30 +0000 (22:01 +0000)
commitbebf6a7de0d959564023731ff23ed48d4e3aaf92
treebceb1fefb80e93ca78d2da3504859445a91b9535
parent0ac1b7707c398bb9c65ec090ac7149a5468abf69
(GUINEA_PIGS, opt_GUINEA_PIGS, Options): New option GUINEA_PIGS.
include/optlist.h
info/Server/Options.t
src/lib/global/options.c