Egor Duda 85057d174f * config/default.exp: Remove unneeded debugging output. ... * Makefile.in: Use correct path to find dejagnu in local tree.		2001-03-09 15:39:28 +00:00
..
default.exp	* config/default.exp: Remove unneeded debugging output.	2001-03-09 15:39:28 +00:00