diff options
| author | Maksymilian Owsianny <Maksymilian.Owsianny@gmail.com> | 2014-09-29 00:51:21 +0200 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-29 04:14:59 +0100 |
| commit | a7197741aca9653bc436ffb987082b4779ae6870 (patch) | |
| tree | 76f496bfe755bc8d56e799e70de6013627c6423a /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 6b2ecc5b39dbb0cb1f047418e706ccdad08ae49b (diff) | |
Fixed idris wrapper to make idris work with different backends.
Closes #4314
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions