diff src/w32inevt.c @ 38783:255503bac5c2

(animate-string): Doc fix. Use a buffer name with stars in it. (animate-sequence): New function. From Richard Stallman <rms@gnu.org>.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 10 Aug 2001 18:10:16 +0000
parents 712561c30aa5
children 64341c22fb4c
line wrap: on
line diff