diff make-dist @ 4275:2ed300d36643

Fix typo in previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 25 Jul 1993 21:46:48 +0000
parents c720be6f3fae
children 15c60018d647
line wrap: on
line diff