Skip to content

Conversation

nineteendo
Copy link
Contributor

@nineteendo nineteendo commented May 11, 2024

@nineteendo
Copy link
Contributor Author

@hugovk, should we add it here?

@nineteendo nineteendo changed the title gh-1321: Group sphinx definitions Group sphinx definitions May 12, 2024
@hugovk
Copy link
Member

hugovk commented May 12, 2024

For reference:

nineteendo and others added 3 commits May 12, 2024 14:31
Co-authored-by: Ezio Melotti <ezio.melotti@gmail.com>
@nineteendo
Copy link
Contributor Author

Thanks Ezio.

@nineteendo
Copy link
Contributor Author

Can this be merged? It should happen before group other definitions in the docs.

Co-authored-by: Erlend E. Aasland <erlend.aasland@protonmail.com>
@nineteendo
Copy link
Contributor Author

nineteendo commented Jun 19, 2024

Do we merge this or not? I would like to delete my fork.

@nineteendo
Copy link
Contributor Author

Let's close this, it probably doesn't solve the initial issue.

@nineteendo nineteendo closed this Jun 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants