| commit | 06aede15ede349fbbe3518451a2bc0c821db41e3 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Wed Jul 15 21:35:09 2020 +0200 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Wed Jul 15 21:35:09 2020 +0200 |
| tree | de2b7b4c214f0ef08cb96112f576f4f4be057cc4 | |
| parent | 45406c50bfed7bdfbcdb352a4b66472de6b086c6 [diff] |
Releng: - version bump jdt.core - also in otdt.map