Re: [Bug-gnubg] GNUbg for Windows 020805 - .htm and .html

[Joern Thyssen]

On Wed, Aug 07, 2002 at 04:38:50PM +0200, Nardy Pillards wrote
> After a new installation:
> (and always using the default values of GNUbg)
> 
> File... Export... Game HTML
> first time used:
> a file with *.HTM* extension is created
> 
> Once File... Export... Match (or Session) is done
> (and proposed extension here is .HTML),
> 
> Next time one does
> File... Export... Game HTML
> a file with *.HTML* extension is created

Øystein, can you reproduce this on Windows?

Jørn

-- 
Joern Thyssen, PhD
Vendsysselgade 3, 3., DK-9000 Aalborg, Denmark
+45 9813 2791 (private) / +45 2077 2689 (mobile) / +45 9633 7036 (work)