diff GETTING.GNU.SOFTWARE @ 4109:76f746324590

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