diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2023-01-09 00:40:19 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2023-01-09 00:40:19 +0100 |
| commit | 882baf4b7da4510af9113bb1b602da4793137013 (patch) | |
| tree | 5bb06f1fec61c009cba6d2e1c49f3d8b3196d2fa /gnu/packages/rdf.scm | |
| parent | a4eb83fee76e5e3002d22441b09c1c833ff801e6 (diff) | |
gnu: java-cisd-jhdf5: Do not override default JDK.
* gnu/packages/java.scm (java-cisd-jhdf5)[arguments]: Remove override for JDK.
Diffstat (limited to 'gnu/packages/rdf.scm')
0 files changed, 0 insertions, 0 deletions