diff man/gnu.texi @ 61564:2e1a9a226cee

(gud-goto-info): Use existing Info buffer, if possible.
author Nick Roberts <nickrob@snap.net.nz>
date Fri, 15 Apr 2005 10:35:09 +0000
parents 695cf19ef79e
children 1782f42ba3e2 375f2633d815
line wrap: on
line diff