Ward Wouts b0f806449c Use what's already typed on the commandline as a filter		2020-08-05 11:43:07 +02:00
..
navi.plugin.bash	Widget: fix behavior for % (#368)	2020-07-10 10:10:38 -03:00
navi.plugin.fish	Fix fish widget changing tty settings (#296)	2020-03-20 12:43:31 +01:00
navi.plugin.zsh	Use what's already typed on the commandline as a filter	2020-08-05 11:43:07 +02:00