diff etc/HELLO @ 43805:9dfbe3e7a4dc

(maybe_bootstrap): Fix the command that fails Make.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 09 Mar 2002 15:08:52 +0000
parents 3c634255d649
children c242ad7faaa8 643cc054cb27
line wrap: on
line diff