diff dot_bashrc @ 434:3339d673ee5e

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