diff make-dist @ 34039:88c42020e441

(xm_arm_callback): Handle case that W is null; also see comment there.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 30 Nov 2000 12:50:08 +0000
parents 96a0426fa611
children 3f8e87ac64ab
line wrap: on
line diff