The "/srchsetup" page:

Configure the search engine. Requires Admin privilege.

REDUCE Historical [ REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]