diff config.bat @ 22581:2f420ea7b3d4

(fast-lock-verbose): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:07:36 +0000
parents 4c2b38ea02fe
children b918e6330d6e
line wrap: on
line diff