diff options
author | Gowa2017 <33367355+Gowa2017@users.noreply.github.com> | 2021-10-30 22:43:44 +0800 |
---|---|---|
committer | Gowa2017 <33367355+Gowa2017@users.noreply.github.com> | 2021-10-30 22:43:44 +0800 |
commit | fcfe4df428f333fb255df01fa42154da115506b4 (patch) | |
tree | 0fa5db490a73ff0a94783930eba914b5f7b49426 /script/config/config.lua | |
parent | 7ecf5a64207aefcdcb5dc0469580394293dce85b (diff) | |
parent | b5beff286df3d57a8c0ab6fa3ead9da3f08fb1b4 (diff) | |
download | lua-language-server-fcfe4df428f333fb255df01fa42154da115506b4.zip |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'script/config/config.lua')
-rw-r--r-- | script/config/config.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/script/config/config.lua b/script/config/config.lua index 461ec260..8661e0d0 100644 --- a/script/config/config.lua +++ b/script/config/config.lua @@ -151,6 +151,7 @@ local Template = { "?.lua", "?/init.lua", }, + ['Lua.runtime.pathStrict'] = Type.Boolean >> false, ['Lua.runtime.special'] = Type.Hash(Type.String, Type.String), ['Lua.runtime.meta'] = Type.String >> '${version} ${language} ${encoding}', ['Lua.runtime.unicodeName'] = Type.Boolean, |