diff src/w32.c @ 59290:285e069cecd2

(occur-1): If the output buffer is also an input, don't kill it, rename it.
author Richard M. Stallman <rms@gnu.org>
date Sat, 01 Jan 2005 22:29:36 +0000
parents 5aefaad0a5f1
children 04686828d0da f3ec05478165
line wrap: on
line diff