update dockerbuild

Cette révision appartient à :
2026-02-28 18:54:02 +01:00
Parent 4d4e2741f2
révision f3dd184416
+1 -1
Voir le fichier
@@ -1,5 +1,5 @@
#!/bin/sh
set -eu
set -e
# version_greater A B returns whether A > B
version_greater() {