diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2024-04-21 22:22:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-21 22:22:58 +0200 |
| commit | d285a49ffa877728f4e36ffa1beaf938001f3345 (patch) | |
| tree | b5588df1a45b9714b145403af2a896f9206b7646 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 4854bac6d7efb373ab31457ca07bcb208456bff8 (diff) | |
| parent | 168793f151a0f2827c4eedc8ded2e149ab0300e4 (diff) | |
Merge pull request #305637 from schra/fix-grub-device
digital-ocean: revert "make it easier to use disko"
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions