diff etc/TUTORIAL @ 15782:096142df0b36

(edebug-trace-display): Save and restore current buffer.
author Richard M. Stallman <rms@gnu.org>
date Wed, 24 Jul 1996 16:36:41 +0000
parents 7a3398850d94
children 6cb6d2fe6999
line wrap: on
line diff