diff make-dist @ 2222:d81c60c5f9ce

Fix typo in previous change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 17 Mar 1993 09:19:47 +0000
parents 0b629ab3f06a
children fe5302520efd
line wrap: on
line diff