]> git.pond.sub.org Git - empserver/history - COPYING
(finish_server): New, factored out of termination code. Fixes two
[empserver] / COPYING
2003-08-23 Markus ArmbrusterImport of Empire 4.2.12 v4.2.12