diff dot_inputrc @ 727:772aea09bb0a

chore: cleanup unused plugins
author zegervdv <zegervdv@me.com>
date Sun, 11 Dec 2022 21:25:44 +0100
parents d726921aaabe
children
line wrap: on
line diff