diff make-dist @ 6503:7c566d0e4b3d

(read_filtered_event, intern): Use assignment instead of initialization.
author Karl Heuer <kwzh@gnu.org>
date Wed, 23 Mar 1994 22:55:01 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff