diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-07-03 19:13:45 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-07-03 19:14:58 -0300 |
| commit | 7e50a9a2e87582e922b06d6c0b6a03d22e7cef68 (patch) | |
| tree | 9723201bf87a74ed25b052a51435096ba309c928 /core/io/resource_saver.h | |
| parent | ac157f8c05bf0967b65ba289b6118de807612cdf (diff) | |
Avoid settings from being lost when opening project manager.
Probably fixes many issues of this kind, like missing shortcuts or other settings
Diffstat (limited to 'core/io/resource_saver.h')
0 files changed, 0 insertions, 0 deletions