# HG changeset patch
# User sybila
# Date 1664877239 0
# Node ID ad402067054beb33cca56bd305e34bf134de4640
# Parent  f9908f1109f96c02c9a0dd68f851ffb27d14972a
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 81dbe4922abcbd544c1dd9830d05daf661a29658

diff -r f9908f1109f9 -r ad402067054b ebcsgen_pctl_model_checking.xml
--- a/ebcsgen_pctl_model_checking.xml	Fri Sep 09 14:33:08 2022 +0000
+++ b/ebcsgen_pctl_model_checking.xml	Tue Oct 04 09:53:59 2022 +0000
@@ -1,4 +1,4 @@
-<tool id="eBCSgen_PCTL_model_checking" name="eBCSgen - PCTL model checking" version="@TOOL_VERSION@_galaxy0">
+<tool id="eBCSgen_PCTL_model_checking" name="eBCSgen PCTL model checking" version="@TOOL_VERSION@_galaxy0">
     <description>- explicit PCTL model checking of transition system</description>
     <macros>
         <import>macros.xml</import>