diff dot_inputrc @ 656:505cc6e2fddf

Remove unused zsh plugins
author zegervdv <zegervdv@me.com>
date Sat, 24 Sep 2022 15:41:35 +0000
parents d726921aaabe
children
line wrap: on
line diff