Skip to content

Ignore dev releases when creating the full documentation #357

New issue
New issue
Closed
Closed
Ignore dev releases when creating the full documentation#357
Labels
documentationprio: normalrequest for enhancement
Milestone
Summer sprint
@vkarak

Description

@vkarak
vkarak
opened on Jul 17, 2018

We should not produce documentation for the dev releases.

Metadata

Metadata

Assignees

No one assigned

    Labels

    documentationprio: normalrequest for enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions