diff options
| author | Fabián Heredia Montiel <303897+fabianhjr@users.noreply.github.com> | 2023-12-23 00:34:58 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-23 00:34:58 -0600 |
| commit | 1d5a3ccfa0ce43461657522bc862ec92b5166fb7 (patch) | |
| tree | b1ede87bb5452d8b4f621780d4236bf5bd6f3bfc /pkgs/development/python-modules/rangehttpserver | |
| parent | 8735a9573dd9d4ff181c81b465a49f567ebb25a1 (diff) | |
| parent | e09aaf7b5514c1432f86314170df452debe26cae (diff) | |
Merge pull request #276071 from mattpolzin/update-idris2
idris2: 0.6.0 -> 0.7.0
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions