diff options
| author | Gergő Gutyina <gutyina.gergo.2@gmail.com> | 2026-01-13 22:48:20 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-01-13 22:48:20 +0000 |
| commit | fc399e25498de4521a44c4a077a14a35b8a55889 (patch) | |
| tree | 752a9e8abcbabd53c88558ad8afbe2e474dc9b9c /pkgs/development/python-modules/rangehttpserver | |
| parent | df029e332eb9a723f28b8806e5549a2f2767d9fb (diff) | |
| parent | 82fdfb5692c1b663f1b5e68fb0b6b5adcbdf83b0 (diff) | |
isabelle: 2025 -> 2025-1 (#474227)
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions