diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-03-05 09:37:08 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-03-06 10:10:23 +0100 |
| commit | 43d6776ba42e8542358a48bc80749d50b9d34bb7 (patch) | |
| tree | 37d26228006d2166ad9f9341c5a5cc0c8759619c /gnu/services | |
| parent | c8427a5e91c519ab6bad7a30ae84e06d3daef1d5 (diff) | |
| download | patches-43d6776ba42e8542358a48bc80749d50b9d34bb7.tar patches-43d6776ba42e8542358a48bc80749d50b9d34bb7.tar.gz | |
gnu: java-eclipse-jdt-core: Update to 3.16.0.
* gnu/packages/java.scm (java-eclipse-jdt-core): Update to 3.16.0.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions