diff options
| author | Jimmy Zelinskie | 2023-08-02 18:12:31 +0000 |
|---|---|---|
| committer | GitHub | 2023-08-02 18:12:31 +0000 |
| commit | 325692a154b4190fe75c964c5704d54924165f0e (patch) | |
| tree | 3fff7b18ac9a9c58ee715b1df428fd756ff1e1af /.envrc | |
| parent | 15e07d4db893aec7b9e117c1f88400a68ba98ae2 (diff) | |
languages: add protobuf language servers (#7796)
* languages: add bufls protobuf language server
* languages: add pbkit protobuf language server
Diffstat (limited to '.envrc')
0 files changed, 0 insertions, 0 deletions