(www-ids-find-format-line): Add setting for "&ZOB-dddd;".
authortomo <tomo>
Thu, 2 Jun 2005 07:39:56 +0000 (07:39 +0000)
committertomo <tomo>
Thu, 2 Jun 2005 07:39:56 +0000 (07:39 +0000)
commitab20a93f6ab7459242fbdaea82fba2d4107e977a
tree2123322b7797ed1c779c56ed30c1f43e58bad0f7
parent185b2d16bc0ac0037c5998778bbe4183a7f31179
(www-ids-find-format-line): Add setting for "&ZOB-dddd;".
www/www-ids-find.el