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)
commit935768897bb39ec321f9918e26e2fddfdbcd08ac
tree33cc013c888a9b0bb2e0e64745b3bbccb12b0922
parent6dc881f9c3bbcf0e2ab2404d97fe3dfcb127048b
Use new _delete_record() function.
web/htdocs/details/delete.mc