diff options
| author | Piotr Bogdan <ppbogdan@gmail.com> | 2018-03-22 15:56:22 +0000 |
|---|---|---|
| committer | Piotr Bogdan <ppbogdan@gmail.com> | 2018-11-15 17:41:25 +0000 |
| commit | 5d0eeeee381e2957b43a6e0544e65f1b3d5b0795 (patch) | |
| tree | 5d7630dcb425c2c9ffa39ad0496bb577157db0b1 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 20738d8b8164f48a89462f5a3424b9d82abfed8e (diff) | |
coq2html: switch to default make
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions