commit | 078de7148ba69cf2547490067e4f0f4d775f626d | [log] [tgz] |
---|---|---|
author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Sun Feb 12 17:02:50 2023 +0100 |
committer | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Sun Feb 12 11:17:32 2023 -0500 |
tree | 300887d9093500c7b6dcd98843b543b842d4feae | |
parent | dddb0eaf3ae8de4f0c7a59371cebe4abbe07f413 [diff] |
Fix dependency issues for newer Eclipse versions Change-Id: I8ab548f3c497f368ca1752e65ce7190d81087917 (cherry picked from commit 1cf5616fd8786def9b948d9dc41d43306534758e)