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)

No differences found