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