David Adam 30a8345a11 create_manpage_completions: use the first tool found ... Noted in https://github.com/fish-shell/fish-shell/pull/6879#discussion_r421731269		2020-05-10 21:56:12 +08:00
..
web_config	Restyle	2020-03-26 20:45:40 +01:00
create_manpage_completions.py	create_manpage_completions: use the first tool found	2020-05-10 21:56:12 +08:00
deroff.py	Fix: equality vs identity	2019-11-06 14:13:21 +08:00