]> git.pond.sub.org Git - empserver/search
(total_work): Remove redundant conversion to int.