On 30 Jul 2023 21:23:25 -0400, Jim Henderson wrote:
> The example seems to me to say that of ObjectHeight isn't defined,> define it as 1. But the directive "#infdef" looks to me to be a typo.
I have corrected that.
--
"I learned long ago, never to wrestle with a pig. You get dirty, and
besides, the pig likes it." - George Bernard Shaw
