diff options
| author | Gabriel Arazas <foo.dogsquared@gmail.com> | 2022-10-19 18:14:03 +0800 |
|---|---|---|
| committer | Gabriel Arazas <foo.dogsquared@gmail.com> | 2022-10-19 18:14:03 +0800 |
| commit | 37a4203e80af29d57c8fdebc87c97c073c40c888 (patch) | |
| tree | 746b60e12c9ab5b89c1b71878cf75e61da4a6798 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 93005a2a692ccdfaf24a97665554f47636ea3cd5 (diff) | |
gnome-extension-manager: remove workaround
This has been added some time from upstream. See
mjakeman/extension-manager#263.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions