David's change to the headings.
authorMike Taylor <mike@indexdata.com>
Mon, 16 Jul 2007 14:55:21 +0000 (14:55 +0000)
committerMike Taylor <mike@indexdata.com>
Mon, 16 Jul 2007 14:55:21 +0000 (14:55 +0000)
commitda898e71d627fffba8a176f65e5f5323e13efa8b
treef43d7610d3c0f6db76ac2ece9828a5df9ecefc21
parentfad1a8886f1f255bcc19bb02883aba38545d2bcf
David's change to the headings.
web/htdocs/details/found.mc