]> git.donarmstrong.com Git - debbugs.git/search
document verbose and progress; add back quiet tag