]> git.pond.sub.org Git - empserver/commit
(opt_SHIP_DECAY, Options, shiprepair): Remove option SHIP_DECAY.
authorMarkus Armbruster <armbru@pond.sub.org>
Sun, 9 May 2004 19:06:48 +0000 (19:06 +0000)
committerMarkus Armbruster <armbru@pond.sub.org>
Sun, 9 May 2004 19:06:48 +0000 (19:06 +0000)
commit07f54899772f18d0d20b63dd56f8b75492d01829
tree6ccd22b2450e858f730cbfeb28fb31cacd11882b
parentcca6abf93445c696ef88159dbab879b8d782a758
(opt_SHIP_DECAY, Options, shiprepair): Remove option SHIP_DECAY.
include/options.h
include/optlist.h
info/Server/Options.t
src/lib/global/options.c
src/lib/update/ship.c