mirror of
https://github.com/radio95-rnt/rds95.git
synced 2026-07-29 16:29:17 +02:00
13 lines
275 B
JSON
13 lines
275 B
JSON
{
|
|
"runtime.builtin": {
|
|
"debug": "disable",
|
|
"os": "disable",
|
|
"jit": "disable",
|
|
"ffi":"disable",
|
|
"package": "disable"
|
|
},
|
|
"workspace.library": ["context.lua"],
|
|
"diagnostics.disable": [
|
|
"duplicate-set-field"
|
|
]
|
|
} |