# HG changeset patch
# User wenzelm
# Date 857724211 -3600
# Node ID 34993cdffbf7654323100a6584e2f1fb2339bde1
# Parent  b001ec2b56e157a31bb272ac648784b767d264c6
tuned comment;

diff -r b001ec2b56e1 -r 34993cdffbf7 lib/scripts/patch-scripts.bash
--- a/lib/scripts/patch-scripts.bash	Fri Mar 07 09:43:05 1997 +0100
+++ b/lib/scripts/patch-scripts.bash	Fri Mar 07 09:43:31 1997 +0100
@@ -1,7 +1,7 @@
 #
 # $Id$
 #
-# patch-scripts.bash - relocate interpreter paths of Isabelle scripts.
+# patch-scripts.bash - relocate interpreter paths of executable scripts.
 #
 
 ## find binaries