Re: Searching for unicode characters?

[Sandra Snan]

It's not a grep, it's a stemmed word index that elides 
punctuation. 
_______________________________________________
notmuch mailing list -- notmuch@notmuchmail.org
To unsubscribe send an email to notmuch-le...@notmuchmail.org