]> git.cworth.org Git - obsolete/notmuch-old/search
man: document 'insert' command