diff src/w32.c @ 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 d4f3552a85f2
children a8c034594292
line wrap: on
line diff