diff options
| author | Robert Scott <code@humanleg.org.uk> | 2023-11-23 23:41:07 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-23 23:41:07 +0000 |
| commit | 17722110050cc3d663ef23e0ea64349ebae0f868 (patch) | |
| tree | 9290ef8cadcc23d113c9574e847c3bb9de527ba3 /pkgs/development/python-modules/rangehttpserver | |
| parent | ecbb7ad92a082f76b7004a8422bb9313dc0b658e (diff) | |
| parent | b9a67f73176d44ff1b293a7ac9b241e919065b07 (diff) | |
Merge pull request #269383 from marsam/fix-lean4-darwin
lean4: fix build on darwin
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions