diff make-dist @ 37942:0f57d8b106f1

fix live process/dead buffer bub on w32
author Sam Steingold <sds@gnu.org>
date Tue, 29 May 2001 15:47:01 +0000
parents b3268dbead96
children c1607757c868
line wrap: on
line diff