diff src/.gdbinit @ 99856:1c2c0916bc1f

(info-lookup): When Info buffer is visible on another frame, raise that frame.
author Martin Rudalics <rudalics@gmx.at>
date Sun, 23 Nov 2008 17:40:00 +0000
parents e9980210e4ed
children b99ba7437dec
line wrap: on
line diff