diff src/.gdbinit @ 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 4379a41b6f2e
children c26a9f95a880
line wrap: on
line diff