From 6a3505939beea5fa20318a0dc9866701382f5532 Mon Sep 17 00:00:00 2001 From: Ben Elliston Date: Fri, 30 Jan 2004 04:17:03 +0000 Subject: * Merge dejagnu_1_4_branch up to dejagnu-1_4_4 tag. --- config/default.exp | 1 - 1 file changed, 1 deletion(-) (limited to 'config') diff --git a/config/default.exp b/config/default.exp index a42572f..1f46e41 100644 --- a/config/default.exp +++ b/config/default.exp @@ -33,4 +33,3 @@ proc ${tool}_start { } { verbose "WARNING: Using the default proc for tool_start" 2 return $spawn_id } - -- cgit v1.1