diff make-dist @ 7831:343a21c51172

(iso-translate-conventions): Use case-dependent search and don't alter case.
author Richard M. Stallman <rms@gnu.org>
date Tue, 07 Jun 1994 18:04:58 +0000
parents 6191acd134b6
children cba3121c44b7
line wrap: on
line diff