diff src/.dbxinit @ 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 18e524802887
children
line wrap: on
line diff