DOKK / manpages / debian 10 / manpages-es / settimeofday.2.es
() ()

See the file buster/manpages-es/gettimeofday.2.es.gz.