diff --git a/vcsh b/vcsh index d6ee234a2ebd26e4ca10360f44701f304eefb1e4..da71ab894bad3ce2a10e76071a2906feb606db72 100755 --- a/vcsh +++ b/vcsh @@ -24,7 +24,7 @@ basename() { } SELF=$(basename $0) -VERSION='1.20130909' +VERSION='1.20130909.git-HEAD' fatal() { echo "$SELF: fatal: $1" >&2