]> git.pond.sub.org Git - empserver/search
(show_opts): New, factored out of vers(). Fix output punctuation.