diff src/filelock.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 b7efc1e72e26
children b6c16b67b735
line wrap: on
line diff