diff src/w32select.c @ 16678:9785672a3b84

(outline-discard-overlays): Use overlays-in, to ensure we get rid of empty overlays.
author Richard M. Stallman <rms@gnu.org>
date Sat, 14 Dec 1996 22:24:35 +0000
parents 481b7874a1e9
children 36babc489b0c
line wrap: on
line diff