diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2023-10-30 20:29:30 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-30 20:29:30 -0400 |
| commit | 4550ecb3843bd644ec85a99d0f26b644f145a819 (patch) | |
| tree | 24925f2723c67777cd36ab4ad84c77d2345a6bf0 /pkgs/development/python-modules/rangehttpserver | |
| parent | 8bf37c6099c549c741d2b2b63a04c1460736701e (diff) | |
| parent | 936f24ed009fa043db972c45d4695eaf65224a56 (diff) | |
Merge pull request #264468 from NixOS/revert-185560-jr/lean-lsp
Revert "lean-language-server: init at 3.4.0"
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions