gitreef

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

commit 781b39f62448794593f9f00898d24bda2cd1c951
parent 67887f1127d98077b9456fb82d3d240c950af727
Author: Matthias Jaros <jaros@mailbox.org>
Date:   Tue, 18 Nov 2025 08:57:53 +0100

Version 1.4

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

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