]> git.notmuchmail.org Git - notmuch/commitdiff
schemata: Disambiguate non-terminal names
authorAustin Clements <amdragon@MIT.EDU>
Thu, 24 Oct 2013 15:19:01 +0000 (11:19 -0400)
committerDavid Bremner <david@tethera.net>
Sat, 9 Nov 2013 00:13:47 +0000 (20:13 -0400)
Previously, the show schema and the search schema used different
"thread" non-terminals.  While these schemata don't interact, this is
still confusing, so rename search's "thread" to "thread_summary".  To
further limit confusion, prefix all top-level search non-terminals now
begin with "search_".


No differences found