diff options
| author | Ricardo Wurmus <[email protected]> | 2018-06-05 11:17:03 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <[email protected]> | 2018-06-05 11:17:03 +0200 |
| commit | 1ed386fc2695c287a16135d9e092df4f2df62dfc (patch) | |
| tree | c0cd157cc431715e7aef15cc7c361b14e161c655 /m4 | |
| parent | a993ad833ed011d82862030f3ee60704ba8622c5 (diff) | |
gnu: java-cisd-jhdf5: Delete failing build phase.
* gnu/packages/java.scm (java-cisd-jhdf5)[arguments]: Delete build phase
"generate-jar-indices".
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions