espie 957deb2297 No use building it right now, since stable/ is more recent.		2001-09-30 19:36:46 +00:00
..
dejagnu	CONFIGURE_STYLE=gnu w/ proper MODGNU_CONFIG_GUESS_DIRS	2001-09-28 06:02:12 +00:00
snapshot	No use building it right now, since stable/ is more recent.	2001-09-30 19:36:46 +00:00
stable	CONFIGURE_STYLE=gnu w/ proper MODGNU_CONFIG_GUESS_DIRS	2001-09-28 06:02:12 +00:00
Makefile	Use the right dejagnu	2000-06-28 00:14:44 +00:00