]> git.pond.sub.org Git - empserver/history - COPYING
(set_option, delete_option): Gripe about unknown options. If multiple
[empserver] / COPYING
2003-08-23 Markus ArmbrusterImport of Empire 4.2.12 v4.2.12