diff make-dist @ 6343:372613d5970b

(search_buffer): Avoid boolean/integer mixing that confuses some compilers.
author Karl Heuer <kwzh@gnu.org>
date Mon, 14 Mar 1994 21:44:12 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff