diff src/=old-ralloc.c @ 16332:be25bd9150e8

(rlog_options): Use $rlog, not rlog, when deciding whether to append -zLT.
author Paul Eggert <eggert@twinsun.com>
date Wed, 25 Sep 1996 09:53:56 +0000
parents c7c930b84dbb
children
line wrap: on
line diff