diff etc/edt-user.doc @ 56759:88d59be47588

(display-mouse-p, display-selections-p): Use with-no-warnings.
author Richard M. Stallman <rms@gnu.org>
date Sun, 22 Aug 2004 16:54:33 +0000
parents 23a1cea22d13
children 23a17af379b1 d7ddb3e565de
line wrap: on
line diff