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