diff options
| author | Marco Perone <pasafama@gmail.com> | 2019-07-31 16:46:47 +0200 |
|---|---|---|
| committer | Marco Perone <pasafama@gmail.com> | 2019-08-06 09:10:46 +0200 |
| commit | 8a02fa477f7ae58061f5d53060dc9f36f1e53d2a (patch) | |
| tree | d1c59f5c047d723b0fd016562c2359b269ba4e46 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | c0a8580822b89b88e72c530cb706b28d08ee6cbb (diff) | |
build-idris-package: add options for idris commands
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions