diff options
Diffstat (limited to 'server')
| -rw-r--r-- | server/Linux/bin/lua (renamed from server/Linux/bin/lua-language-server) | bin | 277272 -> 277272 bytes |
| -rw-r--r-- | server/Windows/bin/lua.exe (renamed from server/Windows/bin/lua-language-server.exe) | bin | 166912 -> 166912 bytes |
| -rw-r--r-- | server/macOS/bin/lua (renamed from server/macOS/bin/lua-language-server) | bin | 263700 -> 263700 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/server/Linux/bin/lua-language-server b/server/Linux/bin/lua Binary files differindex ba602dfe..ba602dfe 100644 --- a/server/Linux/bin/lua-language-server +++ b/server/Linux/bin/lua diff --git a/server/Windows/bin/lua-language-server.exe b/server/Windows/bin/lua.exe Binary files differindex 68030f1e..68030f1e 100644 --- a/server/Windows/bin/lua-language-server.exe +++ b/server/Windows/bin/lua.exe diff --git a/server/macOS/bin/lua-language-server b/server/macOS/bin/lua Binary files differindex cdc8b473..cdc8b473 100644 --- a/server/macOS/bin/lua-language-server +++ b/server/macOS/bin/lua |