# HG changeset patch
# User wenzelm
# Date 857409993 -3600
# Node ID 7231c1e89706eb7389667ba9ee29c9f63ff204ba
# Parent  44a657985de1f362a83af6758b47ca95140b639d
removed bash debug;

diff -r 44a657985de1 -r 7231c1e89706 lib/scripts/isa-xterm
--- a/lib/scripts/isa-xterm	Mon Mar 03 18:25:17 1997 +0100
+++ b/lib/scripts/isa-xterm	Mon Mar 03 18:26:33 1997 +0100
@@ -1,4 +1,4 @@
-#!/bin/bash -x
+#!/bin/bash -norc
 #
 # $Id$
 #