diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2019-09-25 11:48:50 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2019-09-25 11:48:50 +0800 |
commit | 12e07305cf74f7e98adbfb482b01aceb0c72fd61 (patch) | |
tree | e8b619baee09a550cd5070253b09ea25182538a2 /server-beta/src/workspace/workspace.lua | |
parent | f501deff48a30e937afdcb528aba942648c4888b (diff) | |
download | lua-language-server-12e07305cf74f7e98adbfb482b01aceb0c72fd61.zip |
整理代码
Diffstat (limited to 'server-beta/src/workspace/workspace.lua')
-rw-r--r-- | server-beta/src/workspace/workspace.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server-beta/src/workspace/workspace.lua b/server-beta/src/workspace/workspace.lua index b22bcfb8..efe2f1cf 100644 --- a/server-beta/src/workspace/workspace.lua +++ b/server-beta/src/workspace/workspace.lua @@ -5,6 +5,7 @@ local files = require 'files' local config = require 'config' local glob = require 'glob' local platform = require 'bee.platform' +local task = require 'task' local m = {} m.type = 'workspace' |