From 7674d07c93c3197518f8d3bfda4adcce26611a1b Mon Sep 17 00:00:00 2001 From: fleisch Date: Sat, 4 Nov 2023 02:57:21 +0100 Subject: [PATCH] release 5.8.5 --- sirius_cli/src/main/resources/sirius_frontend.build.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sirius_cli/src/main/resources/sirius_frontend.build.properties b/sirius_cli/src/main/resources/sirius_frontend.build.properties index 2c0cd7903..7dca5179d 100644 --- a/sirius_cli/src/main/resources/sirius_frontend.build.properties +++ b/sirius_cli/src/main/resources/sirius_frontend.build.properties @@ -1,5 +1,5 @@ #here you can provide properties that may be needed during build- AND during runtime and should not be editable by the user at runtime -de.unijena.bioinf.siriusFrontend.version=5.8.4-SNAPSHOT +de.unijena.bioinf.siriusFrontend.version=5.8.4 de.unijena.bioinf.sirius.version=4.13.1 de.unijena.bioinf.fingerid.version=2.6.16 #