diff options
author | Reinhard Kotucha <reinhard.kotucha@web.de> | 2022-04-05 21:48:49 +0000 |
---|---|---|
committer | Reinhard Kotucha <reinhard.kotucha@web.de> | 2022-04-05 21:48:49 +0000 |
commit | 677c1098762e8e48bc67562d1829b38fe6a3aa28 (patch) | |
tree | a052ac3b9e515d0fed1a8fc48061309d699ae449 /Master/tlpkg/tlgs/lib/jobseparator.ps | |
parent | 37e731f0bd81249f8b43bada12adaa611b7a595b (diff) |
Removed unused files
git-svn-id: svn://tug.org/texlive/trunk@62920 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 |