Skip to content

Conversation

@dalexeev
Copy link
Member

@dalexeev dalexeev commented Aug 1, 2023

According to:

@dalexeev dalexeev added enhancement topic:gdscript area:manual Issues and PRs related to the Manual/Tutorials section of the documentation labels Aug 1, 2023
@mhilbrunner mhilbrunner merged commit 730ed46 into godotengine:master Aug 13, 2023
@mhilbrunner
Copy link
Member

Thank you! Merged.

@dalexeev dalexeev deleted the update-gdscript-doc-comments-page branch August 13, 2023 03:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:manual Issues and PRs related to the Manual/Tutorials section of the documentation enhancement topic:gdscript

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants