]> git.cworth.org Git - notmuch-old/commit
projects / notmuch-old / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 85e95c0) | patch
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)
commitec630c663597cc3d6f4f98f9ec4ec17a6c7b5bbc
treeb5960bbf5eb631c4a11918761817b2fb4f0dbdd6tree | snapshot
parent85e95c0844849773a5403b884bca4a52b3bb4fa0commit | diff
schemata: Disambiguate non-terminal names

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_".
devel/schemata diff | blob | history
notmuch - thread-based email index, search and tagging.