(print_char_table): Use `Charset_ID' instead of `int'.
authortomo <tomo>
Wed, 1 Sep 1999 16:48:26 +0000 (16:48 +0000)
committertomo <tomo>
Wed, 1 Sep 1999 16:48:26 +0000 (16:48 +0000)
commitdc231d7ab468cfe95ae91a44919a2d8009534b2f
tree8b84aa1e2d2299998d75f98217336ce4cede1082
parent2cf9eacbfd983022bff22a7fc0293002f5b66191
(print_char_table): Use `Charset_ID' instead of `int'.
(get_non_ascii_char_table_value): Likewise.
(get_char_table): Likewise.
(put_char_table): Likewise.
(map_over_other_charset): Likewise.
(map_char_table): Likewise.
src/chartab.c