diff scripts/install.sh @ 640:1637824c8eb0

only give history options after 4 chars
author zegervdv <zegervdv@me.com>
date Sat, 20 Aug 2022 10:27:13 +0200
parents 6b6da9305782
children
line wrap: on
line diff