Use new modify_xml_document() utility function.
authorMike Taylor <mike@indexdata.com>
Wed, 1 Nov 2006 10:00:21 +0000 (10:00 +0000)
committerMike Taylor <mike@indexdata.com>
Wed, 1 Nov 2006 10:00:21 +0000 (10:00 +0000)
commitf91d9989f908ab0a6debc3f9d78d7918a13750bc
treeb9332149c060d474f9f65c1411582a8c98164015
parentf419d355e89c412c5e3ae764fdb6c93a7bd2380a
Use new modify_xml_document() utility function.
Indicate number of changes.
web/htdocs/details/edit.mc