diff make-dist @ 21340:69bfc7fa462c

(RE_TRANSLATE): Use char_table_translate.
author Richard M. Stallman <rms@gnu.org>
date Thu, 02 Apr 1998 08:11:19 +0000
parents 9293d783c708
children 8ff5c2a5ee26
line wrap: on
line diff