diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-08-02 13:23:48 +0200 |
|---|---|---|
| committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-08-02 13:23:48 +0200 |
| commit | b958bdf1b96881f0a73a9dd4d12d6e8c275ddff4 (patch) | |
| tree | ff23f2d82121cc51064dd740715c85bf048e1dbb /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 82b98eb23fbdc46226bd3cc0b9632a31361d2090 (diff) | |
jdt-language-server: set platforms
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions
