diff src/w32proc.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 b5ecd5022991
children 481b7874a1e9
line wrap: on
line diff