diff man/xresmini.texi @ 71372:c46f87481f13

(Using Interactive): Explain problem of markers, etc., in command-history.
author Richard M. Stallman <rms@gnu.org>
date Fri, 16 Jun 2006 15:18:03 +0000
parents b7261e09f8e4
children c7e4f78b81a6
line wrap: on
line diff