diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2020-09-09 19:29:57 +0200 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2020-09-09 19:29:57 +0200 |
| commit | a7f9d336b7fa7c0a14f056e5acdadae9d7b3c58e (patch) | |
| tree | 680813ae7ca40cb7ce15566f91e3304c4f1a6f6e /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 0df5508a0e60e60b1d791867381cc316e9ed9e6e (diff) | |
mlton: fix build
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions
