Tim Ledbetter f95e6ee849 pgrep: Add --ignore-case as an alias for the -i option		2023-05-31 06:04:48 +02:00
..
man	pgrep: Add --ignore-case as an alias for the -i option	2023-05-31 06:04:48 +02:00
shell/completion	Base: Add some default completions to shellrc	2022-04-18 19:53:10 +04:30