<filters> element is now optional.
authorMike Taylor <mike@indexdata.com>
Tue, 17 Jan 2006 13:46:52 +0000 (13:46 +0000)
committerMike Taylor <mike@indexdata.com>
Tue, 17 Jan 2006 13:46:52 +0000 (13:46 +0000)
commita0b677644a83fd98cb670f7e08415e13957a3ac5
treef65aac4b25600de4173a21d3fae2992539e6c589
parent96c47e08f30522c72fa2f14533c6372695a6f9e7
<filters> element is now optional.
etc/config.xsd