| changeset 2744 | 34993cdffbf7 |
| parent 2651 | 60d8d06f84a5 |
| child 2760 | c2a90e8b4831 |
--- 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