comparison dot_inputrc @ 434:3339d673ee5e

Make kitty font_size a template
author zegervdv <zegervdv@me.com>
date Sat, 14 Aug 2021 11:49:44 +0200
parents d726921aaabe
children
comparison
equal deleted inserted replaced
433:4a539353bd54 434:3339d673ee5e