comparison dot_zsh/zsh-history-substring-search.zsh @ 420:db1013fcbd0d

Increase font size
author zegervdv <zegervdv@me.com>
date Tue, 27 Jul 2021 18:30:56 +0200
parents 44d179225271
children
comparison
equal deleted inserted replaced
419:d4373e768165 420:db1013fcbd0d