diff options
Diffstat (limited to 'Master/tlpkg/tlgs/lib/level1.ps')
| -rw-r--r-- | Master/tlpkg/tlgs/lib/level1.ps | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/tlgs/lib/level1.ps b/Master/tlpkg/tlgs/lib/level1.ps new file mode 100644 index 00000000000..75689d3680d --- /dev/null +++ b/Master/tlpkg/tlgs/lib/level1.ps @@ -0,0 +1,3 @@ +%!
+% $Id: level1.ps 6300 2005-12-28 19:56:24Z giles $
+/.setlanguagelevel where { pop 1 .setlanguagelevel } if
|