diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2022-05-20 11:46:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-20 11:46:58 +0200 |
| commit | 79a058f06b22f6fd8c6793ce085486f8121912b3 (patch) | |
| tree | 1322e65cbe13aae464b3014431a6d2d67ab77e6f /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 1fecfc90d17a68d535fce396388cf0dcd8215c73 (diff) | |
| parent | 41e12309552f11aff87f0bfad971b6633c3ce35d (diff) | |
Merge pull request #165923 from linsui/tracker-miners
tracker-miners, gnome-music: add some gstreamer plugins
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions
