jorgp Wed, 07 Mar 2001 00:01:49 -0800
in /base why is hdlist gziped instead of bziped? -- Thanks Jorg
