Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/feeder
changeset 10512 d34192966cd8
parent 9789 7e5e6c47c0b5
child 10555 2323ec838401 
--- a/lib/scripts/feeder	Wed Nov 22 21:41:39 2000 +0100
+++ b/lib/scripts/feeder	Wed Nov 22 21:47:04 2000 +0100
@@ -9,8 +9,8 @@
 
 ## diagnostics
 
-PRG=$(basename "$0")
-DIR=$(dirname "$0")
+PRG="$(basename "$0")"
+DIR="$(dirname "$0")"
 
 function usage()
 {
isabelle