mirror of
https://github.com/radio95-rnt/rds95.git
synced 2026-07-30 00:39:15 +02:00
big lua api changes
This commit is contained in:
Vendored
-12
@@ -22,17 +22,5 @@
|
||||
"ranges": "c",
|
||||
"span": "c"
|
||||
},
|
||||
"Lua.runtime.plugin": "plugin.lua",
|
||||
"Lua.runtime.builtin": {
|
||||
"debug": "disable",
|
||||
"os": "disable",
|
||||
"jit": "disable",
|
||||
"ffi": "disable",
|
||||
"package": "disable"
|
||||
},
|
||||
"C_Cpp.dimInactiveRegions": false,
|
||||
"Lua.diagnostics.disable": [
|
||||
"duplicate-set-field",
|
||||
"lowercase-global"
|
||||
]
|
||||
}
|
||||
Reference in New Issue
Block a user