DOKK / manpages

Man pages matching name pinto in section 3pm:

Pinto.3pm.en debian 10 / pinto
Pinto.3pm.en debian 11 / pinto
Pinto.3pm.en debian 12 / pinto