]> git.pond.sub.org Git - empserver/search
(opt_GRAB_THINGS, Options, get_materials): Remove option GRAB_THINGS.