diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2022-01-01 14:00:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-01 14:00:57 +0100 |
| commit | edac0bea9db0799f6bdf98bec627ff8802dd410c (patch) | |
| tree | b1072fb046e623e1c716ed6bb33f6789aedd13d4 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 63f86e6fde5cabb9965d1ac80fa339eae783eed2 (diff) | |
| parent | 4b9c0cb00521a63686275427238f9758a04ece96 (diff) | |
Merge pull request #152921 from jvanbruegge/isabelle-2021-1
isabelle: 2021 -> 2021-1
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions