* gdbint.texinfo (POP_FRAME): Document use by return_command.
This page took 0.256714 seconds and 3 git commands to generate.