diff options
| -rw-r--r-- | manual/job.texi | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/manual/job.texi b/manual/job.texi index 05a42ea820..42cb9fb26d 100644 --- a/manual/job.texi +++ b/manual/job.texi @@ -860,7 +860,6 @@ void do_job_notification (void) @{ job *j, *jlast, *jnext; - process *p; /* @r{Update status information for child processes.} */ update_status (); |