Improve documentation of which shell is used by GDB's shell commands
This page took 0.310349 seconds and 3 git commands to generate.