Bug fixes from rel-1-2
authortonnesen <tonnesen>
Mon, 8 Jul 2002 18:34:35 +0000 (18:34 +0000)
committertonnesen <tonnesen>
Mon, 8 Jul 2002 18:34:35 +0000 (18:34 +0000)
commit3153d38adc77b535d329b9251e0522536c7331ea
treee7957ff87993e6d7c531c7231a27840451a7b886
parent8e8ba7d97610747f1b5bc3d43776a423e0cb641f
Bug fixes from rel-1-2
installer.pl