Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

extend the content width in the documentation #451

Closed
wants to merge 1 commit into from

Conversation

cescoffier
Copy link
Member

No description provided.

@cescoffier cescoffier added the kind/enhancement New feature or request label Jan 8, 2019
@cescoffier cescoffier added this to the 0.5.0 milestone Jan 8, 2019
@cescoffier cescoffier requested a review from mkouba January 8, 2019 17:26
@mkouba
Copy link
Contributor

mkouba commented Jan 8, 2019

Superseded by #452

@mkouba mkouba closed this Jan 8, 2019
@cescoffier cescoffier removed this from the 0.5.0 milestone Jan 9, 2019
@cescoffier cescoffier added the triage/wontfix This will not be worked on label Jan 9, 2019
@cescoffier cescoffier deleted the features/increase-documentation-width branch January 9, 2019 07:46
maxandersen added a commit to maxandersen/quarkus that referenced this pull request Nov 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/enhancement New feature or request triage/wontfix This will not be worked on
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants