diff scripts/install.sh @ 779:15d2d492f1db

chore: update plugins
author Zeger Van de Vannet <zegervdv@me.com>
date Mon, 24 Apr 2023 09:15:59 +0200
parents 6b6da9305782
children
line wrap: on
line diff