From 8c89de2964af15f3f4586b4426aa157b3d052d78 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Fri, 1 Nov 2024 01:29:29 +0000 Subject: [PATCH] PiGro, Unciv, jGRASP IDE: Update App Versions - PiGro-all: 24.04 -> 24.05 - Unciv-all: 4.14.2 -> 4.14.2-patch1 - jGRASP IDE-all: 206_17b9 -> 206_17b10 --- apps/PiGro/install | 2 +- apps/Unciv/install | 2 +- apps/jGRASP IDE/install | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/apps/PiGro/install b/apps/PiGro/install index 2a180e32eb..ef71f8c349 100755 --- a/apps/PiGro/install +++ b/apps/PiGro/install @@ -1,6 +1,6 @@ #!/bin/bash -version=24.04 +version=24.05 # remove legacy folders/files if present rm -rf ~/PiGro-Aid- diff --git a/apps/Unciv/install b/apps/Unciv/install index 32dda82340..8e7d36b992 100755 --- a/apps/Unciv/install +++ b/apps/Unciv/install @@ -1,6 +1,6 @@ #!/bin/bash -version=4.14.2 +version=4.14.2-patch1 ### Make directory ~/Unciv if not available mkdir -p $HOME/Unciv || error "Failed to create folder $HOME/Unciv" diff --git a/apps/jGRASP IDE/install b/apps/jGRASP IDE/install index da0f7b510f..0c696f2d84 100755 --- a/apps/jGRASP IDE/install +++ b/apps/jGRASP IDE/install @@ -1,6 +1,6 @@ #!/bin/bash -version=206_17b9 +version=206_17b10 #get java adoptium_installer || exit 1