]> git.pond.sub.org Git - empserver/commit
(opt_GRAB_THINGS, Options, get_materials): Remove option GRAB_THINGS.
authorMarkus Armbruster <armbru@pond.sub.org>
Thu, 11 Mar 2004 08:53:27 +0000 (08:53 +0000)
committerMarkus Armbruster <armbru@pond.sub.org>
Thu, 11 Mar 2004 08:53:27 +0000 (08:53 +0000)
commit689f435aff9181accb186457e6e776446772c167
tree9510e15db12e35f803c57e16601c91d315e55562
parent9ad7afbf17dfc8587a6c8d8dd8d020ee5e823f4f
(opt_GRAB_THINGS, Options, get_materials): Remove option GRAB_THINGS.
include/optlist.h
info/Server/Options.t
src/lib/global/options.c
src/lib/update/material.c