diff options
| author | jstrattonsmith <49959196+jstrattonsmith@users.noreply.github.com> | 2025-11-09 18:02:34 -0500 |
|---|---|---|
| committer | jstrattonsmith <49959196+jstrattonsmith@users.noreply.github.com> | 2025-11-16 16:09:01 -0500 |
| commit | d03b7559109c72a9342bddfe4c70b1c1b77087f4 (patch) | |
| tree | 9da4cad30f52bd8c814faaf1700369d4a048ca68 /pkgs/development/python-modules/rangehttpserver | |
| parent | d632d88f7d3a19116ca9301bc52b65b1f91ae4d8 (diff) | |
coqPackages.vscoq-language-server: 2.2.6 -> 2.3.3
To be compatible with VSRocq release.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions