DOKK
/
manpages
/
debian 10
/
manpages-es
/ getppid.2.es
()
()
See the file buster/manpages-es/getpid.2.es.gz.