diff options
| author | adisbladis <adisbladis@gmail.com> | 2022-10-29 11:24:25 +1300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-29 11:24:25 +1300 |
| commit | 8209610fb34d9fc5f36fd3efc0c473d8662b0f47 (patch) | |
| tree | ba010b1474b7f7ab7ea63755b102768f858b8410 /pkgs/development/python-modules/rangehttpserver | |
| parent | fbb042bc87bc92fc5296b8b151e36970dd996c64 (diff) | |
| parent | db7ebddc7f9ba4aa2100b3a66ad948d40651a983 (diff) | |
Merge pull request #198162 from wuyoli/master
emacsPackages.idris2-mode: init at 1.1
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions