(www-ids-insert-chars-including-components): New function.
authortomo <tomo>
Mon, 5 Sep 2005 05:45:58 +0000 (05:45 +0000)
committertomo <tomo>
Mon, 5 Sep 2005 05:45:58 +0000 (05:45 +0000)
commit9c023c9c061208ff88a015b9b425ab06583899b3
tree3bc7a44c8a9366d3641986c0ddb71206bac30cc6
parent62ca129370451ab297885d202296199ab5ddcaa5
(www-ids-insert-chars-including-components): New function.
(www-batch-ids-find): Use `www-ids-insert-chars-including-components'.
www/www-ids-find.el