]> git.cworth.org Git - obsolete/notmuch-old/search
configure: add ignored options for compatibility.