diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-06 22:47:14 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-06 22:47:14 +0100 |
commit | 632911ea1dd7acc00e7aff3db1ed8271aa3478b5 (patch) | |
tree | 1f375ed63e83bf209f66e313d3b5fc33c9352018 /core | |
parent | 6e2b9b3bdc5fbf41a4c7d3f520445c4987aaf60d (diff) | |
parent | f4ffa87a35f21402b2324efb9bbcd1c4b38ff236 (diff) |
Merge pull request #72786 from timothyqiu/no-libc
Remove unnecessary `stdio.h` from gdextension interface
Diffstat (limited to 'core')
-rw-r--r-- | core/extension/gdextension_interface.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/core/extension/gdextension_interface.h b/core/extension/gdextension_interface.h index 876a09beff..9593afc2fb 100644 --- a/core/extension/gdextension_interface.h +++ b/core/extension/gdextension_interface.h @@ -37,7 +37,6 @@ #include <stddef.h> #include <stdint.h> -#include <stdio.h> #ifndef __cplusplus typedef uint32_t char32_t; |