diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-28 13:06:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-28 13:06:51 +0200 |
| commit | 46ad60385b68a8af142108715a12a3363ffb3fea (patch) | |
| tree | 89a5e93ad5c5fe817ffa9ad4f4028b5abd89f3bc /modules/jsonrpc/config.py | |
| parent | 007a46ef6b9dc26f3f450de91c4ca210271a1070 (diff) | |
| parent | e5b91a15e64c84fdc1055f86414df4fb808e31fb (diff) | |
Merge pull request #29780 from GodotExplorer/gdscript-lsp
Add Language Server Protocol for GDScript
Diffstat (limited to 'modules/jsonrpc/config.py')
| -rw-r--r-- | modules/jsonrpc/config.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/modules/jsonrpc/config.py b/modules/jsonrpc/config.py new file mode 100644 index 0000000000..53bc827027 --- /dev/null +++ b/modules/jsonrpc/config.py @@ -0,0 +1,5 @@ +def can_build(env, platform): + return True + +def configure(env): + pass |