Skip to content

rtop not installed by default despite what the docs say #793

@qexat

Description

@qexat

The installation page seems to say that rtop will be available upon opam installing reason, but I've just done that and rtop could not be run until I installed the eponymous package. Is this a mistake/out-of-date information in the documentation?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions