diff options
Diffstat (limited to 'Master/tlpkg/tlgs/lib/jobseparator.ps')
-rw-r--r-- | Master/tlpkg/tlgs/lib/jobseparator.ps | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlgs/lib/jobseparator.ps b/Master/tlpkg/tlgs/lib/jobseparator.ps index 43fc63329ff..e9816be199d 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 $ +% $Id$ <04> cvn .systemvar exec |