From 0ccf3b3fe0e0d1e8a8c4808522074c355f29bb59 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Thu, 28 Nov 2024 13:44:17 +0100
Subject: [PATCH] updated version
---
build.gradle | 2 +-
src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java | 1 -
2 files changed, 1 insertion(+), 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index 11c55fc..d0eff14 100644
--- a/build.gradle
+++ b/build.gradle
@@ -7,7 +7,7 @@ buildscript {
}
group 'de.tudresden.inf.st'
-version '0.1'
+version '0.2'
apply plugin: 'java'
apply plugin: 'java-library'
diff --git a/src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java b/src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java
index 0c2b660..c86bd3a 100644
--- a/src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java
+++ b/src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java
@@ -79,7 +79,6 @@ public class Main {
// Print help/usage instructions
private static void printUsage() {
- System.out.println("Usage: java -jar MyApp.jar [options]");
System.out.println("Options:");
System.out.println(" --inhibitor <true|false> Enable or disable inhibitor flag (default: false)");
System.out.println(" --signal <true|false> Enable or disable signal flag (default: false)");
--
GitLab