diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-07-17 10:55:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-17 10:55:11 +0200 |
| commit | 76b003082141317e6f511487a5c5137226af1f27 (patch) | |
| tree | fe661d78f009815c7ad7400841ca26f6058272a3 /modules/gdscript/editor/gdscript_highlighter.h | |
| parent | b079715563ac0248637c29e58ba11f2e8c2554be (diff) | |
| parent | 1475f617a30a2307db0973502a0599b872d4de0e (diff) | |
Merge pull request #39610 from Meriipu/master_resourcename
WebSocketServer: Expose the resource name the client used
Diffstat (limited to 'modules/gdscript/editor/gdscript_highlighter.h')
0 files changed, 0 insertions, 0 deletions