diff src/s/dgux5-4-3.h @ 22596:b926b360d222

(ps-print-control-characters): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:22:18 +0000
parents ee40177f6c68
children ee5224740210
line wrap: on
line diff