diff dot_config/bat/config @ 420:db1013fcbd0d

Increase font size
author zegervdv <zegervdv@me.com>
date Tue, 27 Jul 2021 18:30:56 +0200
parents 2665e0073dcc
children 36ba70d17fd6
line wrap: on
line diff