diff options
Diffstat (limited to 'Master/tlpkg/tlgs/lib/jobseparator.ps')
-rw-r--r--[-rwxr-xr-x] | Master/tlpkg/tlgs/lib/jobseparator.ps | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Master/tlpkg/tlgs/lib/jobseparator.ps b/Master/tlpkg/tlgs/lib/jobseparator.ps index 1d1d008937f..43fc63329ff 100755..100644 --- a/Master/tlpkg/tlgs/lib/jobseparator.ps +++ b/Master/tlpkg/tlgs/lib/jobseparator.ps @@ -1,4 +1,4 @@ -% Execute the "real" system version of the ^D to separate jobs
-% when -dJOBDSERVER is being used.
-% $Id: jobseparator.ps 8022 2007-06-05 22:23:38Z giles $
-<04> cvn .systemvar exec
+% Execute the "real" system version of the ^D to separate jobs +% when -dJOBDSERVER is being used. +% $Id: jobseparator.ps 8022 2007-06-05 22:23:38Z giles $ +<04> cvn .systemvar exec |