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