diff options
| author | cinap_lenrek <cinap_lenrek@felloff.net> | 2020-12-19 14:59:19 +0100 |
|---|---|---|
| committer | cinap_lenrek <cinap_lenrek@felloff.net> | 2020-12-19 14:59:19 +0100 |
| commit | d919ad3b5e8e98d7470275d724772de221e060f6 (patch) | |
| tree | a28223f80f6fbfc55b048b60b062b49313bca919 /sys/man | |
| parent | d0cc9e2eb65222edb244f93d97d062e6f4eb5e7e (diff) | |
devsons: remove #c/pgrpid
The process group id is essentially a unique id
of the namespace but it was never well documented
nor is it used by any program.
Diffstat (limited to 'sys/man')
| -rw-r--r-- | sys/man/3/cons | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/sys/man/3/cons b/sys/man/3/cons index b898ebbab..96d6d6b62 100644 --- a/sys/man/3/cons +++ b/sys/man/3/cons @@ -17,7 +17,6 @@ cons \- console, clocks, process/process group ids, user, null, reboot, etc. .B /dev/mordor .B /dev/null .B /dev/osversion -.B /dev/pgrpid .B /dev/pid .B /dev/ppid .B /dev/random @@ -247,9 +246,6 @@ The other files served by the .I cons device are all single numbers: .TP 10 -.B pgrpid -process group number -.TP .B pid process number .TP |