diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2021-09-17 15:10:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-17 15:10:01 +0100 |
| commit | 01643e3d369629f60f6ca91cacabc18b76c0a17e (patch) | |
| tree | b4736abaf9ced263ce76f536356240015dc6dd5d /pkgs/development/python-modules/rangehttpserver | |
| parent | cbc084187a940ee834ae090775fee4ea8cc944ee (diff) | |
| parent | 3a25a2e3f7494f0eac262f8a934679465a50c844 (diff) | |
Merge pull request #138279 from helsinki-systems/fix/agda2-mode
emacs.pkgs.*: fix to unblock channel
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions