summaryrefslogtreecommitdiff
path: root/Build/source/texk
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2013-07-20 21:49:20 +0000
committerKarl Berry <karl@freefriends.org>2013-07-20 21:49:20 +0000
commit189faca95bf7eea8b0aa37755c4d5d3644a33ae0 (patch)
tree27962598ce092e37a43de3a15d1bb3e8bc6bddd2 /Build/source/texk
parent0cb266803002915dbdfe403a37b649809b4beee5 (diff)
sync
git-svn-id: svn://tug.org/texlive/trunk@31247 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk')
-rwxr-xr-xBuild/source/texk/texlive/w32_wrapper/runscript.tlu5
1 files changed, 2 insertions, 3 deletions
diff --git a/Build/source/texk/texlive/w32_wrapper/runscript.tlu b/Build/source/texk/texlive/w32_wrapper/runscript.tlu
index 665cb91a955..019d574a6cb 100755
--- a/Build/source/texk/texlive/w32_wrapper/runscript.tlu
+++ b/Build/source/texk/texlive/w32_wrapper/runscript.tlu
@@ -1,8 +1,7 @@
--- $Id$
-local svnrevision = string.match("$Revision$", "%d+") or "0"
-local svndate = string.match("$Date$", "[-%d]+") or "2009-12-04"
+local svnrevision = string.match("$Revision: 31085 $", "%d+") or "0"
+local svndate = string.match("$Date: 2013-07-03 23:54:11 +0200 (Wed, 03 Jul 2013) $", "[-%d]+") or "2009-12-04"
local bannerstr = "runscript wrapper utility (rev. " ..
svnrevision .. ", " .. svndate .. ")\n" ..
"usage: runscript script-name [arguments]\n" ..