diff options
| author | ajs124 <git@ajs124.de> | 2022-10-11 21:16:37 +0200 |
|---|---|---|
| committer | ajs124 <git@ajs124.de> | 2022-10-11 21:16:37 +0200 |
| commit | 18a17d11ff6d201530bc529d65d67ce5940e36cb (patch) | |
| tree | 194f8cd82b4a438e4f5102eec4ca7f314bc7d7dc /pkgs/development/python-modules/rangehttpserver | |
| parent | e32a01b9226da663106ceee40594443fef24dfda (diff) | |
nixos/jenkins: jdk11 -> jdk17
see https://www.jenkins.io/doc/upgrade-guide/2.361/
we'll need to do this eventually, not sure when the best point in time is
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions