diff options
| author | Miles Bader <miles@gnu.org> | 1997-05-27 19:08:08 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-05-27 19:08:08 +0000 |
| commit | 2173fcb597eea4896f1ee9adb551a89f4827dedd (patch) | |
| tree | 09a26634eddfeb86089016dc4e8425eb334918fa /doc | |
| parent | 716f799e83b350b4de819d25889c2ee91639f8e8 (diff) | |
(main):
Correct filtering of process-owners when processes are explicitly specified.
Don't use ARGS_DOC.
(args_doc):
Variable removed.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions