(map_char_id_table): Deleted.
authortomo <tomo>
Thu, 6 Sep 2001 04:52:44 +0000 (04:52 +0000)
committertomo <tomo>
Thu, 6 Sep 2001 04:52:44 +0000 (04:52 +0000)
(Fmap_char_attribute): Use `map_char_table' instead of
`map_char_id_table'.


No differences found