diff src/s/gnu-linux.h @ 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 4fb09bb7d2f9
children dcc1ebab38c1
line wrap: on
line diff