diff options
| author | Sergei Trofimovich <slyich@gmail.com> | 2023-04-24 21:57:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-24 21:57:16 +0100 |
| commit | d6856047c8765adf68b13f4b46c7d23e0d2d9cff (patch) | |
| tree | 2aa546f7feb7be47805452269dfa3f49b34de1bd /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | cc5ea7ea894d00f725ea182e7376d0ebda6f461f (diff) | |
| parent | 599712cbc6787d78f72b54379db95a768e448d3f (diff) | |
Merge pull request #226486 from trofi/wavpack-dev-output
wavpack: split headers to "dev" output (and "doc", "man" while at it)
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions