diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-10-02 13:16:47 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-10-02 13:16:47 +0200 |
commit | 98d9119cee57e7a20fb618caee4ce562fb2aa1ee (patch) | |
tree | 7ab73263bccdba361173581e7d07189df69a45c7 /core/extension/gdextension.h | |
parent | b926d32ca784c20b81b99f5a99b013e8a5d7a7ca (diff) | |
parent | 43f92e47523e501ed2f14b15ea8de90218f46057 (diff) | |
download | redot-engine-98d9119cee57e7a20fb618caee4ce562fb2aa1ee.tar.gz |
Merge pull request #82603 from kkolyan/82601_fix_reload_loop
Fix inconsistent `last_modified_time` handling in GDExtension
Diffstat (limited to 'core/extension/gdextension.h')
-rw-r--r-- | core/extension/gdextension.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/core/extension/gdextension.h b/core/extension/gdextension.h index 2b42346478..2996100c9a 100644 --- a/core/extension/gdextension.h +++ b/core/extension/gdextension.h @@ -119,7 +119,6 @@ public: void close_library(); #if defined(WINDOWS_ENABLED) && defined(TOOLS_ENABLED) - void set_temp_library_path(const String &p_path) { temp_lib_path = p_path; } String get_temp_library_path() const { return temp_lib_path; } #endif |