diff make-dist @ 30682:5583737fcf85

(record_delete): Make sure last_point_position_buffer is a buffer before comparing pointers.
author Ken Raeburn <raeburn@raeburn.org>
date Tue, 08 Aug 2000 14:44:05 +0000
parents 28cc44c6c08c
children f50932a70105
line wrap: on
line diff