diff options
| author | Fabián Heredia Montiel <303897+fabianhjr@users.noreply.github.com> | 2024-01-25 19:21:38 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-25 19:21:38 -0600 |
| commit | b975d1413e76fb1c2e7a102e219128404efaefca (patch) | |
| tree | 434d01f655f883566b4f6511ebc35687cd440cf8 /pkgs/development/python-modules/rangehttpserver | |
| parent | 6b5a4173e546cfd386d813d57afea4111a6b6111 (diff) | |
| parent | dfe61cf96a544345fad6357f68cf7149ded9e596 (diff) | |
Merge pull request #283648 from mattpolzin/idris2-lsp
idris2Packages.idris2Lsp: init at 2024-01-21
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions