diff etc/=MACHINES @ 23282:6b24b6f42d88

(Extensions): Removed request to have dejagnu rewritten in scheme, because that is now done.
author Joel N. Weber II <devnull@gnu.org>
date Fri, 18 Sep 1998 22:36:45 +0000
parents 0e1b3507ee15
children
line wrap: on
line diff