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)
commit64ba9e0d62000116f10a279ee1c082defd8d8ec2
tree0d2e16a99c72fe99ce920d5b58b28127a6b9cae2
parent3f413a10db8054ba7bb994ca4ef1e60366e7b129
Use new modify_xml_document() utility function.
Indicate number of changes.
web/htdocs/details/edit.mc