diff options
| author | Tommy Williams <wommy@users.noreply.github.com> | 2023-11-24 09:55:19 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-24 11:55:19 -0500 |
| commit | ee9790b381416781063d0de6653b303f10ed89b0 (patch) | |
| tree | 6f7125f1300b97e8e0be6586b180c27b0a901b1b /.github | |
| parent | 1915cea32e13fcb4191904de8f5e0252ad050a6e (diff) | |
option to reduce noisy Lua_LS's missing-fields warnings (#511)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions