Skip to content

Display deprecated attributes #406

Closed
#828
Closed
Display deprecated attributes#406
#828
Labels
bugSomething isn't workinggood-first-issueGood for newcomersoutput
@rgrinberg

Description

@rgrinberg
rgrinberg
opened on Dec 18, 2019

Items marked with [@@deprecated ..] and [@@@ocaml.deprecated ..] should be displayed as such in generated documentation.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workinggood-first-issueGood for newcomersoutput

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions