diff options
Diffstat (limited to 'Master/bin/x86_64-linux/mtxrun')
| -rwxr-xr-x | Master/bin/x86_64-linux/mtxrun | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/x86_64-linux/mtxrun b/Master/bin/x86_64-linux/mtxrun index 948545bc391..f90dbfbd7d1 100755 --- a/Master/bin/x86_64-linux/mtxrun +++ b/Master/bin/x86_64-linux/mtxrun @@ -12618,7 +12618,7 @@ end local function resolve(str) -- use schemes, this one is then for the commandline only local res = resolved[str] if not res then - res = gsub(str,"([a-z][a-z]+):([^ \"\']*)",_resolve_) + res = gsub(str,"([a-z][a-z]+):([^ \"\';]*)",_resolve_) resolved[str] = res abstract[res] = str end |