diff lib-src/make-docfile.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 798a28989dde
children 7ebe942c4a9c
line wrap: on
line diff