log

age author description
Mon, 19 Jun 2000 15:36:47 +0000 Dave Love (menu-bar-options-menu): Capitalize "Save Options".
Mon, 19 Jun 2000 14:55:15 +0000 Dave Love *** empty log message ***
Mon, 19 Jun 2000 14:54:10 +0000 Dave Love (menu-bar-options-save): New function.
Mon, 19 Jun 2000 13:07:47 +0000 Dave Love *** empty log message ***
Mon, 19 Jun 2000 13:05:51 +0000 Dave Love Unprotoized.
Mon, 19 Jun 2000 12:13:14 +0000 Gerd Moellmann *** empty log message ***
Mon, 19 Jun 2000 12:12:35 +0000 Gerd Moellmann (set_internal): If variable is frame-local,