diff src/cmds.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 fa9ff387d260
children 436499b7a769
line wrap: on
line diff