diff oldXMenu/descrip.mms @ 70878:8740ce7e1367

(gud-sentinel): Condition on GUD buffer if it has not been killed.
author Nick Roberts <nickrob@snap.net.nz>
date Wed, 24 May 2006 12:05:03 +0000
parents bbce331da1be
children 1e98efa5f4b3
line wrap: on
line diff