comparison BUGS @ 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 354e0c45cedf
children af68d12218d0
comparison
equal deleted inserted replaced
30083:998d20abc885 30084:bafd38c61694