diff options
| author | figsoda <figsoda@pm.me> | 2023-08-02 10:14:06 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-02 10:14:06 -0400 |
| commit | 589c2735580384a0354fefa65691fb2f85c614f6 (patch) | |
| tree | b903451e1724da42b2c0c774ba4546d59f027452 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 56c6754a7f3927b5c3306383830c55a65fd46c8c (diff) | |
| parent | b958bdf1b96881f0a73a9dd4d12d6e8c275ddff4 (diff) | |
Merge pull request #246768 from wegank/jdt-language-server-platforms
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