Mike Schwörer 8e40deae6a

add git-pull to Makefile

2023-03-28 16:30:56 +02:00

..

version.sh

add git-pull to Makefile

2023-03-28 16:30:56 +02:00