Skip to content
This repository has been archived by the owner on Dec 21, 2021. It is now read-only.

Move to Antora for documentation #165

Merged
merged 3 commits into from
May 25, 2021
Merged

Move to Antora for documentation #165

merged 3 commits into from
May 25, 2021

Conversation

lfrancke
Copy link
Member

No description provided.

@lfrancke lfrancke added type/documentation Improvements or additions to documentation priority/medium size/M labels May 19, 2021
@lfrancke lfrancke requested a review from a team May 19, 2021 18:28
@lfrancke lfrancke self-assigned this May 19, 2021
Copy link
Member

@siegfriedweber siegfriedweber left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@lfrancke lfrancke merged commit dc8d0c6 into main May 25, 2021
@lfrancke lfrancke deleted the antora branch May 25, 2021 07:09
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
priority/medium type/documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants