- From: Arnaud Le Hors <lehors@w3.org>
- Date: Wed, 09 Jul 1997 15:30:00 +0200
- To: John Wentworth <fielde29@idt.net>
- CC: www-html-editor@w3.org
Another person reported such a pb. I'm still not sure where it comes from but the problem is that the file is really a simple zip file (html40.zip) and not and an executable file. Rename it and unzip it. What I don't understand is why your browser decided to save it as an executable... -- Arnaud
Received on Wednesday, 9 July 1997 09:30:36 UTC