diff configure @ 30084:bafd38c61694

(DONTCOMPILE): Add comment that the name may not be changed without changing the make-dist script.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 05 Jul 2000 20:03:53 +0000
parents 58ce7aad3fff
children fbb3614484f9
line wrap: on
line diff