diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2017-04-29 17:56:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-29 17:56:51 +0200 |
| commit | 6d2f985db494432e6d5194d5f7c2c00e7f099c55 (patch) | |
| tree | a5b1eb0bf609b1faa9b20ba32375323e15340216 /core/global_config.h | |
| parent | abe09919bf5664353bea904116c6bc5bb856cd7f (diff) | |
Revert "Use .godot as file extension for project files."
Diffstat (limited to 'core/global_config.h')
| -rw-r--r-- | core/global_config.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/core/global_config.h b/core/global_config.h index 5148c4377e..d0f64dc23c 100644 --- a/core/global_config.h +++ b/core/global_config.h @@ -111,8 +111,6 @@ protected: void _add_property_info_bind(const Dictionary &p_info); - String project_file_name; - protected: static void _bind_methods(); @@ -126,7 +124,6 @@ public: Variant property_get_revert(const String &p_name); String get_resource_path() const; - String get_project_file_name() const; static GlobalConfig *get_singleton(); |