#882575 dman: support selecting which section to view the manual page from

Package:
debian-goodies
Source:
debian-goodies
Submitter:
Paul Wise
Date:
2018-02-08 01:18:05 UTC
Severity:
wishlist