diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-18 12:36:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-18 12:36:09 +0200 |
| commit | d603a74c53bbcd7d5f4b542999cea5ff9db33c89 (patch) | |
| tree | 9a3413bfab76a504a58ecd74e248f99cbdc0d492 /core/project_settings.h | |
| parent | bd9b8098fef50b034f71ae1942c74131a984f6ba (diff) | |
| parent | 25e64ffa20a15abe6c435ae8abf517be209fea53 (diff) | |
Merge pull request #20240 from matthew1006/has-custom-feature-tag-fix
Fixed OS.has_feature not using custom feature tags.
Diffstat (limited to 'core/project_settings.h')
| -rw-r--r-- | core/project_settings.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/core/project_settings.h b/core/project_settings.h index 66f3ed954e..045d942b31 100644 --- a/core/project_settings.h +++ b/core/project_settings.h @@ -151,6 +151,8 @@ public: void set_registering_order(bool p_enable); + bool has_custom_feature(const String &p_feature) const; + ProjectSettings(); ~ProjectSettings(); }; |