diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2017-03-12 22:06:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-12 22:06:50 +0100 |
| commit | 3a5912c049533b6257439e54d8c9b02d08e79c72 (patch) | |
| tree | 0d5cc9dee6a3fb51f0411b3ad4efc33c6a022844 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 3d9d879bc0d54bf22988b16f40b3c04c04753bc8 (diff) | |
| parent | 161d73c1639a3da02389137baa310883bd54221a (diff) | |
Merge pull request #23694 from 8573/8573/fix/pkg/ripgrep/install-man-page/1
ripgrep: install man-page
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions