| commit | dfa1c4a63834f120aa9ee71ab519fa6c02852d5d | [log] [tgz] |
|---|---|---|
| author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Sun Feb 12 10:47:34 2023 -0500 |
| committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Sun Feb 12 10:47:34 2023 -0500 |
| tree | 166420e08bf052da61d5a4121af6fadf346f1f33 | |
| parent | 348dad363094951f9f30957c42a1ede9d4b866a3 [diff] | |
| parent | 964f39b1e79100f8becfd8751049d108d47d2b68 [diff] |
Merge "Remove unused dependencies"