diff admin/revdiff @ 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 a8b22f12b3dc
children b2e5081b9320 72dea2ff0142
line wrap: on
line diff