diff make-dist @ 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 b99080e25b28
children ef43d43a40be 72dea2ff0142
line wrap: on
line diff