diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-07-31 23:52:38 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-31 23:52:38 +0200 |
commit | 8ad80f054775e14541c2981b1a8985f8a7a4512e (patch) | |
tree | 1683dea14ccf840087de8ec4a6a27cd4d8abcb9e /modules/multiplayer | |
parent | e2307dc76ae7778d89487c9bd3485339839292a9 (diff) | |
parent | 9f55bd971e9ffb8fb74d29d8d4653558fc70a4dd (diff) |
Merge pull request #63737 from YuriSizov/editorresourceconversionpluginactomy
Diffstat (limited to 'modules/multiplayer')
-rw-r--r-- | modules/multiplayer/editor/replication_editor_plugin.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/modules/multiplayer/editor/replication_editor_plugin.h b/modules/multiplayer/editor/replication_editor_plugin.h index 57fa4c82fa..0bb2cb888d 100644 --- a/modules/multiplayer/editor/replication_editor_plugin.h +++ b/modules/multiplayer/editor/replication_editor_plugin.h @@ -34,7 +34,6 @@ #include "editor/editor_plugin.h" #include "editor/editor_spin_slider.h" -#include "editor/property_editor.h" #include "editor/property_selector.h" #include "../scene_replication_config.h" |