new labels after merge

This commit is contained in:
Armin Briegel
2021-08-16 15:49:43 +02:00
parent bb6058c7f6
commit dcba9f9eb7
296 changed files with 2769 additions and 3638 deletions

View File

@@ -0,0 +1,6 @@
version)
# print the script VERSION
printlog "$VERSION"
exit 0
;;