Re: Removing unused files under /tools

• From: James Graham <james@hoppipolla.co.uk>
• Date: Mon, 19 May 2014 14:59:08 +0100
• To: public-test-infra@w3.org
• Message-ID: <537A0E2C.2010701@hoppipolla.co.uk>

On 28/04/14 16:19, Philippe Le Hegaret wrote:
> I was wondering in the /tools directory the other day and noticed we
> have some old unused stuff there. I'd like to clean this up and remove
> those unused files. If this goes through, it would remove the
> directories tools/json, tools/html, tools/coverage, a few phantomjs
> script in tools/scripts, and tools/README.
> 
> Please let by mid-May if you have concerns. I'm also to give more time
> if needed.

I note that it is now mid-May :)

Received on Monday, 19 May 2014 13:59:32 UTC