diff src/line.h @ 22595:39510277d6a0

(executable-query): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:21:03 +0000
parents 3165b2697c78
children
line wrap: on
line diff