diff src/.gdbinit @ 25254:518d62d71d21

(MINSIZE): Removed. (window_min_size): New. (set_window_height): Use window_min_size. (change_window_height): Ditto.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 13 Aug 1999 20:51:51 +0000
parents 4379a41b6f2e
children c26a9f95a880
line wrap: on
line diff