Fix typo in grammar for @term <term-type> <query>
authorMike Taylor <mike@indexdata.com>
Mon, 3 Nov 2003 09:34:02 +0000 (09:34 +0000)
committerMike Taylor <mike@indexdata.com>
Mon, 3 Nov 2003 09:34:02 +0000 (09:34 +0000)
commit29c7ed2c90cd7aa5b69ec785c618b260f9525b1b
tree9b3a773a496de76e727e2f3c61aa754ee6d8ef6b
parent4d16fbc7b32700afd686bbaa51c2253d7f3287ec
Fix typo in grammar for @term <term-type> <query>
doc/tools.xml