Andrin Fassbind 73bb92de53 Merge remote-tracking branch 'origin/main' into main ...

# Conflicts:
#	docs/EquivalentClass.md
#	test/TextTest.java

2021-11-12 10:52:40 +01:00

..

TextOutputTest.java

reformating code

2021-11-12 10:37:38 +01:00

TextTest.java

Merge remote-tracking branch 'origin/main' into main

2021-11-12 10:52:40 +01:00