diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2023-06-13 00:05:06 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-13 00:05:06 +0200 |
commit | a3c49ad2f0120f41789836a523698db0d4a9f0f2 (patch) | |
tree | e193386a59a2d4c12a8d0d2ba425c4d1a56da4c0 /doc/classes/EditorSettings.xml | |
parent | a5206e449ead208b6cb79a3731ef58bf871d5f05 (diff) | |
parent | 5c57b3aba4dbee8e6931004348c112d2ddb55762 (diff) | |
download | redot-engine-a3c49ad2f0120f41789836a523698db0d4a9f0f2.tar.gz |
Merge pull request #78160 from RedworkDE/fix-docs-rename-export-option
Fix docs after renaming export option
Diffstat (limited to 'doc/classes/EditorSettings.xml')
0 files changed, 0 insertions, 0 deletions