diff dot_bashrc @ 262:44d179225271

Add history substring search plugin
author zegervdv <zegervdv@me.com>
date Sun, 24 May 2020 10:24:04 +0200
parents 81e00b8647b9
children 450e01f9d3bd
line wrap: on
line diff