diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-07 21:44:53 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-07 21:44:53 +0100 |
commit | 8287349bd3c647fe3a504b89dd02308279d71074 (patch) | |
tree | a84ca118a7d52ea0c1b4c7383f5a8e98d84531fb /modules/gdscript/language_server/gdscript_text_document.h | |
parent | fe202e1a553b56343c379da07b69a26d014685dd (diff) | |
parent | bbc36dbc67040afda18759d5305b61eeb636f706 (diff) | |
download | redot-engine-8287349bd3c647fe3a504b89dd02308279d71074.tar.gz |
Merge pull request #34896 from KoBeWi/no_tool_no_warn
Don't show conf warning if script is not tool
Diffstat (limited to 'modules/gdscript/language_server/gdscript_text_document.h')
0 files changed, 0 insertions, 0 deletions