diff scripts/install.sh @ 880:1959d338af5c

close docker branch
author Zeger Van de Vannet <zeger@vandevan.net>
date Fri, 26 Apr 2024 07:56:18 +0200
parents 14492409db21
children 6b6da9305782
line wrap: on
line diff