diff scripts/install.sh @ 434:3339d673ee5e

Make kitty font_size a template
author zegervdv <zegervdv@me.com>
date Sat, 14 Aug 2021 11:49:44 +0200
parents 14492409db21
children 6b6da9305782
line wrap: on
line diff