diff make-dist @ 12286:723569a0028c

(Fdelete_frame): Use do_switch_frame directly. (do_switch_frame): No longer static.
author Richard M. Stallman <rms@gnu.org>
date Fri, 16 Jun 1995 23:26:11 +0000
parents 810cc10d1d45
children ed11e19b4264
line wrap: on
line diff