tree 3a1f21ff3e2f1622cd46ab6031236ffad836f988
parent c9c3f9edaf8a5ea2b587d9765869ad46c2ee2337
author Daniel Strueber <strueber@mathematik.uni-marburg.de> 1676215262 +0100
committer Daniel Strueber <strueber@mathematik.uni-marburg.de> 1676215262 +0100

Get rid of JUnit 5 dependency

Change-Id: I56efb38d0c13b801de99b35c040454c33ffa62d1