diff options
Diffstat (limited to 'Master/tlpkg/tlgs/lib/level1.ps')
-rw-r--r--[-rwxr-xr-x] | Master/tlpkg/tlgs/lib/level1.ps | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/tlpkg/tlgs/lib/level1.ps b/Master/tlpkg/tlgs/lib/level1.ps index 75689d3680d..07109b167b6 100755..100644 --- a/Master/tlpkg/tlgs/lib/level1.ps +++ b/Master/tlpkg/tlgs/lib/level1.ps @@ -1,3 +1,3 @@ -%!
-% $Id: level1.ps 6300 2005-12-28 19:56:24Z giles $
-/.setlanguagelevel where { pop 1 .setlanguagelevel } if
+%! +% $Id: level1.ps 6300 2005-12-28 19:56:24Z giles $ +/.setlanguagelevel where { pop 1 .setlanguagelevel } if |