diff src/chpdef.h @ 22585:b651d40f20a4

(gnus-use-article-prefetch): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:11:55 +0000
parents 3165b2697c78
children 695cf19ef79e
line wrap: on
line diff