# HG changeset patch
# User wenzelm
# Date 857647978 -3600
# Node ID a43320c05e843474cf1bc103c99d3e79a077bcc9
# Parent  476adc7425995117e83544f6a59d0f7a71670946
Oops, forgot to remove -x again;

diff -r 476adc742599 -r a43320c05e84 bin/isatool
--- a/bin/isatool	Thu Mar 06 12:30:32 1997 +0100
+++ b/bin/isatool	Thu Mar 06 12:32:58 1997 +0100
@@ -1,4 +1,4 @@
-#!/bin/bash -x
+#!/bin/bash -norc
 #
 # $Id$
 #