diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2023-01-09 00:25:34 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2023-01-09 00:27:23 +0100 |
| commit | f2066829038e2943fb4726534c1daa621d14457e (patch) | |
| tree | 51e3c98d7b65b30292cb113a94a0c46d6d115ba8 /gnu/packages/java-xml.scm | |
| parent | aac0605de312ccc854928959530fd77d68723154 (diff) | |
gnu: java-jgit-4.2: Do not build with icedtea-7.
* gnu/packages/java.scm (java-jgit-4.2)[arguments]: Do not override JDK.
Diffstat (limited to 'gnu/packages/java-xml.scm')
0 files changed, 0 insertions, 0 deletions