diff make-dist @ 12340:dd57075ef7b0

(gud-make-debug-menu): Cope if no local map yet.
author Richard M. Stallman <rms@gnu.org>
date Tue, 20 Jun 1995 16:34:14 +0000
parents ed11e19b4264
children 543e6df4f753
line wrap: on
line diff