diff options
Diffstat (limited to 'Master/tlpkg/tlgs/Resource/Init/gs_cet.ps')
-rw-r--r-- | Master/tlpkg/tlgs/Resource/Init/gs_cet.ps | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlgs/Resource/Init/gs_cet.ps b/Master/tlpkg/tlgs/Resource/Init/gs_cet.ps index 8eb79bb06e0..d3e1686409b 100644 --- a/Master/tlpkg/tlgs/Resource/Init/gs_cet.ps +++ b/Master/tlpkg/tlgs/Resource/Init/gs_cet.ps @@ -21,7 +21,7 @@ currentglobal //true setglobal /serialnumber dup {233640} readonly .makeoperator put % match CPSI 3017.102 Tek shows serialnumber 1401788461 systemdict /deviceinfo undef % for CET 20-23-1 % /UNROLLFORMS true put % CET files do unreasonable things inside forms -} superexec +} 1183615869 internaldict /superexec get exec /UNROLLFORMS true def |