diff src/intervals.c @ 20047:735f0cdfc5b9

(winner-change-fun): Don't use pushnew.
author Karl Heuer <kwzh@gnu.org>
date Wed, 15 Oct 1997 22:41:09 +0000
parents 1c1a002339a5
children f62a4f83537e
line wrap: on
line diff