diff src/unexmips.c @ 22568:5682c77dce71

(bookmark-save-flag, bookmark-version-control): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 08:48:57 +0000
parents ee40177f6c68
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff