diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-02-09 08:45:31 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-09 08:45:31 +0000 |
| commit | 7ca084292a2ca21f66ee3b73b44617066ca1e129 (patch) | |
| tree | feb6c5261857c20c88d1c0dadadeed673e2437e6 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 62f7640ebee8d4092753a04589f0c25413294052 (diff) | |
| parent | 202fb6faeabcb6f78e711ac0dd48002e0f776c53 (diff) | |
Merge pull request #34714 from vbgl/coq-default-to-8.7
coq: default to 8.7
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions