From ca4fb68b3fa3d70142f8781bd82f025ae8fec830 Mon Sep 17 00:00:00 2001 From: ferreo Date: Mon, 10 Feb 2025 20:50:52 +0100 Subject: [PATCH] Update main.sh --- main.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.sh b/main.sh index 5e887c2..41a8013 100755 --- a/main.sh +++ b/main.sh @@ -2,7 +2,7 @@ set -e -VERSION="0.7.1" +VERSION="0.7.2git" source ./pika-build-config.sh