commit | 348dad363094951f9f30957c42a1ede9d4b866a3 | [log] [tgz] |
---|---|---|
author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Sun Feb 12 10:26:44 2023 -0500 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Sun Feb 12 10:26:44 2023 -0500 |
tree | abb47e5e944ce3739651f14615b0526c7069bc65 | |
parent | 9bdecc77aac18a7c8eb17154b958c6b7bf02a749 [diff] | |
parent | e27fa84280c7a2fdb54581dc042a06941f5fd020 [diff] |
Merge "Get rid of JUnit 5 dependency"