search

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
143 stars 31 forks source link

[code] Update package-lock.json #687

Closed ejgallego closed 4 months ago

ejgallego commented 4 months ago

Mostly bugfixes, tho the bump in webview-ui-toolkit is most welcomed, also the vsce bump is significant.