diff lib-src/update-game-score.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 a47704955f8d
children 23a17af379b1 4c90ffeb71c5
line wrap: on
line diff