The "/ticket" page:

This is intended to be the primary "Ticket" page. Render as either ticket-search (if search is enabled) or as the /reportlist page (if ticket search is disabled).

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