diff =PROBLEMS @ 4109:76f746324590

if [ "$os" ] --> if [ x"$os" != x"" ]
author Doug Evans <dje@gnu.org>
date Fri, 16 Jul 1993 18:24:47 +0000
parents 507f64624555
children
line wrap: on
line diff