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

Auto generated section menu #498

Closed
h-enk opened this issue Oct 8, 2021 · 0 comments · Fixed by #617
Closed

Auto generated section menu #498

h-enk opened this issue Oct 8, 2021 · 0 comments · Fixed by #617
Labels
enhancement New feature or request
Milestone

Comments

@h-enk
Copy link
Member

h-enk commented Oct 8, 2021

Summary

Brief explanation of the feature.

Basic example

Include a basic example or links here.

Motivation

Why are we doing this? What use cases does it support? What is the expected outcome?

#402

@h-enk h-enk added this to the v0.4.0 milestone Oct 8, 2021
@h-enk h-enk added the enhancement New feature or request label Oct 8, 2021
@h-enk h-enk added the keep label Jan 14, 2022
@h-enk h-enk linked a pull request Jan 20, 2022 that will close this issue
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant