diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2023-01-04 11:41:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-04 11:41:11 +0100 |
| commit | dc3175e4cdb4e54e1c6200b6c4d07646eea95284 (patch) | |
| tree | 823649259e633f2a00addf5451883d86cd07776f /modules/gdscript/language_server | |
| parent | 00891066cb2c5e3c867feb97f3883f8ef4aad43d (diff) | |
| parent | c3f12592da89fc6c232fa592b7012493ee90e4d3 (diff) | |
Merge pull request #70810 from adamscott/cache-gdscript-even-when-error
Cache script when reloading even if there's errors
Diffstat (limited to 'modules/gdscript/language_server')
0 files changed, 0 insertions, 0 deletions