diff options
| author | Andreas Enge <andreas@enge.fr> | 2023-02-18 11:45:28 +0100 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2023-02-18 11:45:28 +0100 |
| commit | 0825162a35362640b47d3cabe278fd7ea49140bd (patch) | |
| tree | bb329a9c168dfc8f5edfef6299f2980c0cf3eaef /gnu/local.mk | |
| parent | ad4e7e05ec25ac1f60bbfe2a186f09b914514789 (diff) | |
gnu: openjdk: Arrange patches.
* gnu/packages/java.scm (openjdk13): Remove patch
openjdk-10-hotspot-stack-size.patch inherited from openjdk12.
(openjdk14): Readd patch.
(openjdk15): Remove patch.
(openjdk16): Readd patch.
(openjdk17): Remove patch.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions