diff GETTING.GNU.SOFTWARE @ 22587:5fe3766ec1a8

(search-upper-case): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:13:36 +0000
parents 6fcc2c9a1857
children
line wrap: on
line diff