Kovid Goyal 795b32efd7 Bash integration: Fix the inherit_errexit option being set by shell integration ... Fixes #5349		2022-08-04 16:23:52 +05:30
..
kitty.bash	Bash integration: Fix the inherit_errexit option being set by shell integration	2022-08-04 16:23:52 +05:30