godotengine/godot: Official EU-hosted mirror of the Godot Engine GitHub repository, provided as backup and for anyone who cannot access GitHub due to US trade restrictions. Please only use the issue tracker if you are restricted from using GitHub. @ 9e6098432aac35bae42c9089a29ba2a80320d823

Thaddeus Crews 2c31bd767c Merge pull request #99020 from Mickeon/documentation-example-pruning-2		vor 2 Wochen
..
@GDScript.xml	4d3e2c78b6 Document exporting nested subgroups	vor 2 Wochen
GDScript.xml	932b1c434c Clean up more `[b]Example:[/b]` lines from the class reference	vor 2 Wochen
GDScriptSyntaxHighlighter.xml	3fe644de86 Expose GDScript syntax highlighter to editor plugins	vor 3 Monaten