diff src/doc.c @ 22238:fd2b7dede9cd

(RE_TRANSLATE): Use CHAR_TABLE_TRANSLATE.
author Richard M. Stallman <rms@gnu.org>
date Mon, 25 May 1998 20:15:45 +0000
parents 10a9f355a346
children 9308a15aa8f8
line wrap: on
line diff