Skip to content

Conversation

Calinou
Copy link
Member

@Calinou Calinou commented Aug 21, 2025

There's probably more information to add (e.g. disabling features vs disabling modules), but this should be a good start.

@Calinou Calinou added content:new page Issues and PRs related to creation of new documentation pages for new or undocumented features topic:editor Related to editor features or workflows area:manual Issues and PRs related to the Manual/Tutorials section of the documentation labels Aug 21, 2025
@Calinou Calinou force-pushed the add-engine-compilation-configuration-editor branch 2 times, most recently from 7a28b1c to d703914 Compare August 21, 2025 20:27
@Calinou Calinou force-pushed the add-engine-compilation-configuration-editor branch from d703914 to 00e4ed8 Compare August 22, 2025 18:29
@Calinou Calinou force-pushed the add-engine-compilation-configuration-editor branch 2 times, most recently from 1ca606f to 382362b Compare August 25, 2025 15:05
@mhilbrunner
Copy link
Member

@Calinou CI:

tutorials/editor/using_engine_compilation_configuration_editor.rst:77: WARNING: Literal block ends without a blank line; unexpected unindent. [docutils]

@Calinou Calinou force-pushed the add-engine-compilation-configuration-editor branch from 382362b to 53773fa Compare August 26, 2025 16:31
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 content:new page Issues and PRs related to creation of new documentation pages for new or undocumented features topic:editor Related to editor features or workflows
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants