Pascal Knüppel 8485bc38ef Make ProofType a string instead of enum (#31000) ... fixes #30999 Signed-off-by: Pascal Knüppel <pascal.knueppel@governikus.de>		2024-07-16 11:30:38 +02:00
..
src	Make ProofType a string instead of enum (#31000)	2024-07-16 11:30:38 +02:00
pom.xml	Use a default Java version from root POM (#29927)	2024-06-21 14:19:31 +02:00