diff options
author | Reinhard Kotucha <reinhard.kotucha@web.de> | 2024-01-21 11:13:43 +0000 |
---|---|---|
committer | Reinhard Kotucha <reinhard.kotucha@web.de> | 2024-01-21 11:13:43 +0000 |
commit | 46825947c7b11aac4d828006c2b731a66470ef84 (patch) | |
tree | 3c4dc56ec42b04a6ef14c2a50832aa2a5e530249 /Master/tlpkg/tlgs/lib/jobseparator.ps | |
parent | e211d9725fe8e3a81090e81774e4563d5f1258e5 (diff) |
tlgs: removed obsolete files (accidentally added in rev.62895, gs 9.56.0)
git-svn-id: svn://tug.org/texlive/trunk@69518 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlgs/lib/jobseparator.ps')
-rw-r--r-- | Master/tlpkg/tlgs/lib/jobseparator.ps | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Master/tlpkg/tlgs/lib/jobseparator.ps b/Master/tlpkg/tlgs/lib/jobseparator.ps deleted file mode 100644 index fbb6920842f..00000000000 --- a/Master/tlpkg/tlgs/lib/jobseparator.ps +++ /dev/null @@ -1,3 +0,0 @@ -% Execute the "real" system version of the ^D to separate jobs -% when -dJOBDSERVER is being used. -<04> cvn .systemvar exec |