Fabian Boehm e09f7e4e4d create_manpage_completions: Skip more prefixes ... This also skips the 192 git- and 64 npm- pages that 1. have better completions already (for the most part) 2. don't have the same name as a command typically in $PATH In doing so it reduces the runtime on my system from 9s to 7s. Granted I have all of these, so that's the best case.		2023-05-12 17:57:29 +02:00
..
web_config	webconfig: Set a variable before	2023-02-19 14:57:32 +01:00
create_manpage_completions.py	create_manpage_completions: Skip more prefixes	2023-05-12 17:57:29 +02:00
deroff.py	deroff.py: unneccessarry pass, unreachable code	2021-12-12 10:45:50 -08:00