diff src/s/hpux10.h @ 22588:b7a3c5541bc5

(ispell-highlight-p, ispell-check-comments, ispell-help-in-bufferp, ispell-skip-sgml): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:14:31 +0000
parents 7c853eb6ad19
children 2f9062a74f0e
line wrap: on
line diff