(www-ids-find-version): Update to 0.23.2.
authortomo <tomo>
Mon, 26 Nov 2007 09:34:37 +0000 (09:34 +0000)
committertomo <tomo>
Mon, 26 Nov 2007 09:34:37 +0000 (09:34 +0000)
commitd6d00ba3220463f3272a8d131bd5f721a1484c37
tree28303d83b5eec997d6d760f53adef75388afc113
parentee90125cf56bd4f01e56a097531ca2c92959ed83
(www-ids-find-version): Update to 0.23.2.
(www-batch-ids-find): Modify a little.
www/www-ids-find.el