The "/wiki" page:

Display a wiki page. Example: /wiki?name=PAGENAME

Query parameters:

name=NAME
Name of the wiki page to display. Required.
nsm
Omit the submenu if present. (Mnemonic: No SubMenu)
p
Always show just the wiki page. For special pages for check-ins, branches, or tags, there will be a redirect to the associated /info page unless this query parameter is present.
popup
Suppress the header and footer and other page boilerplate and only return the formatted content of the wiki page.

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