Use new _delete_record() function.
authorMike Taylor <mike@indexdata.com>
Wed, 27 Jun 2007 11:09:32 +0000 (11:09 +0000)
committerMike Taylor <mike@indexdata.com>
Wed, 27 Jun 2007 11:09:32 +0000 (11:09 +0000)
commit0bec962d2e873c489a31e172be2ef87cccecab5f
treee0d572f494f57f5b5b0b0f67b698fd1b93acf647
parent393f5d3e8ba6ee9d8e15174914c060d6ff0f0c9d
Use new _delete_record() function.
web/htdocs/details/delete.mc