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