diff etc/ps-prin2.ps @ 31792:bad7093b5361

(electric-help): New defgroup. (electric-help-shrink-window): New user-option. (with-electric-help): Use it.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 20 Sep 2000 20:39:20 +0000
parents cdd489417ae4
children b5a4db21c424
line wrap: on
line diff