diff make-dist @ 19423:f6f7ae045fe3

(help-with-tutorial): Use current-language-environment.
author Richard M. Stallman <rms@gnu.org>
date Tue, 19 Aug 1997 04:39:43 +0000
parents 2cf5e8809c8e
children 53fa6bca2c89
line wrap: on
line diff