diff options
| author | Naïm Favier <n@monade.li> | 2024-01-31 12:22:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-31 12:22:27 +0100 |
| commit | 9965571f37c452aa782160b61867566516a6d079 (patch) | |
| tree | 68bf274904b0af9836613d437f3896d41b975e1a /pkgs/development/python-modules/rangehttpserver | |
| parent | a5ae45e45af0a697a219eb4da2827fe3cf4e9374 (diff) | |
| parent | db876bc6f68057c6f9d0e5e46fe75992eed21d72 (diff) | |
Merge pull request #279188 from ncfavier/agda-debug
agda: enable debug printing
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions