diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2024-02-19 15:26:01 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-02-19 15:26:01 +0800 |
commit | 7848d0367a89a66207fc4b5e8d6593520bf40ffa (patch) | |
tree | ad043e5383f446170f839eec298fb15584da14a2 /script/plugins | |
parent | 6c224b7033f15b2956e0050dc946b948d7ea7fdd (diff) | |
parent | 76382f30684fc9486973d5f62d59613d24774d82 (diff) | |
download | lua-language-server-7848d0367a89a66207fc4b5e8d6593520bf40ffa.zip |
Merge pull request #2526 from AndreasMatthias/doc-output-path
CLI option --doc_out_path <PATH>.
Diffstat (limited to 'script/plugins')
0 files changed, 0 insertions, 0 deletions