gitreef

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit 0e99e61411da5e2b8a0f0e85078d266fe5782037
parent b2826797f6f49d7847d87f61d47ee35e77e3f12c
Author: Matthias Jaros <jaros@mailbox.org>
Date:   Sat, 15 Nov 2025 22:12:31 +0100

Version 1.3

Diffstat:
Msrc/version | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/version b/src/version @@ -1 +1 @@ -1.3-SNAPSHOT -\ No newline at end of file +1.3 +\ No newline at end of file