diff options
| author | superherointj <5861043+superherointj@users.noreply.github.com> | 2023-03-28 15:40:33 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-28 15:40:33 -0300 |
| commit | 080bafb870eca3656aa3f410826e2d5fcfeaca94 (patch) | |
| tree | 5fb74731193c93f2f5ee3aa1115df1a4c9ac1bd8 /pkgs/development/python-modules/rangehttpserver | |
| parent | a4f8bf22482e61377a062497ea39bed813834d72 (diff) | |
| parent | 91137380e6d9ac975a521dbd54abaac3cbc25d69 (diff) | |
Merge pull request #223603 from anmonteiro/patch-5
buildDunePackage: use `--mandir` instead of `--man`
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions