diff options
| author | Juan Linietsky <juan@godotengine.org> | 2019-02-26 23:48:30 -0300 |
|---|---|---|
| committer | Juan Linietsky <juan@godotengine.org> | 2019-02-26 23:48:30 -0300 |
| commit | caa42667e801318fcb78c9f52921a48cf985b62f (patch) | |
| tree | e4cd9bc3a74bd8a67f6b004c4e5edad157633ed5 /core/pool_vector.cpp | |
| parent | ffb9f342a52186b7fb7da4607af524786fea829e (diff) | |
If resources on disk have subresources and they are edited, also save the resource on ctrl-s
Diffstat (limited to 'core/pool_vector.cpp')
0 files changed, 0 insertions, 0 deletions