manned.org
Ubuntu 13.04 / universe/shells / pdmenu
Versions
1.3.2
2011-10-18
Manuals for version 1.3.2
pdmenu(1)
/usr/share/man/man1/pdmenu.1.gz
pdmenurc(5)
/usr/share/man/man5/pdmenurc.5.gz