DOKK / manpages

Man pages matching name hpisettime in section 1:

hpisettime.1.en debian 10 / openhpi-clients
hpisettime.1.en debian 11 / openhpi-clients
hpisettime.1.en debian 12 / openhpi-clients