#1038: remove compiled documentation from Cactus repository --------------------------+------------------------------------------------- Reporter: rhaas | Owner: Type: enhancement | Status: closed Priority: optional | Milestone: Component: Cactus | Version: Resolution: wontfix | Keywords: documentation --------------------------+------------------------------------------------- Changes (by rhaas):
* status: new => closed * resolution: => wontfix