diff dot_inputrc @ 803:6f98a4e34c71

chore: update plugins
author zegervdv <zegervdv@me.com>
date Wed, 12 Jul 2023 07:34:13 +0200
parents d726921aaabe
children
line wrap: on
line diff