diff dot_inputrc @ 440:6503de68af7b

Ask for font_size template value
author zegervdv <zegervdv@me.com>
date Fri, 27 Aug 2021 17:36:25 +0200
parents d726921aaabe
children
line wrap: on
line diff