From a7eca2f39db71720b3b5344d84c373443cd78ea0 Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sun, 21 Jan 2018 21:53:18 +0100 Subject: [PATCH] version to 1.0-FM --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 72cebd0c..6b5251ee 100644 --- a/pom.xml +++ b/pom.xml @@ -5,7 +5,7 @@ edu.kit.iti.formal.psdbg psdbg - 0.1-SNAPSHOT + 1.0-FM pom ProofScriptParser -- GitLab