diff options
| author | Ross Smyth <18294397+RossSmyth@users.noreply.github.com> | 2025-09-19 16:09:08 -0400 |
|---|---|---|
| committer | Ross Smyth <18294397+RossSmyth@users.noreply.github.com> | 2025-10-21 12:45:50 -0400 |
| commit | d5365578dd5c81fb3480db94661552f849ccae42 (patch) | |
| tree | ab015a1e33ffe5902d192d403c6394767ec3ed7a /pkgs/development/python-modules/rangehttpserver | |
| parent | f5a33c56af78fd9b403e5f40f9ce31b03b55cb04 (diff) | |
idris2: Make it an "unwrapped" compiler, add wrapper
Patch source so the unwrapped compiler can run at all
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions