diff options
| author | markuskowa <markus.kowalewski@gmail.com> | 2024-02-15 15:21:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-15 15:21:03 +0100 |
| commit | 3630c552a377124834d253b175362746666fec7b (patch) | |
| tree | 9b24aeec0e10cbe62ebc0dc446d67fad7282bcb8 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | da9b866580ea6661230232826f77095de69c57da (diff) | |
| parent | a52f790a4c980c60a877fdef581927a0b8c74c63 (diff) | |
Merge pull request #285522 from markuskowa/fix-closure-mpi
openmpi: split dev into separate output, reduce closure size
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions