diff dot_inputrc @ 667:1da48e5c51cf

remove unneeded export
author zegervdv <zegervdv@me.com>
date Tue, 27 Sep 2022 20:57:45 +0200
parents d726921aaabe
children
line wrap: on
line diff