Factor out searching man pages and ported applications into their own
section, using man.cgi and ports.cgi, ready to switch the main search
over to DuckDuckGo.
Description
Description
Details
Details
- Provenance
gavin Authored on - Parents
- rD45921: Switch search box at top of CGI pages over to DuckDuckGo, as per r45919.
- Branches
- Unknown
- Tags