Re: hashed filenames patch commited to CVS

---------

From: Jose Kahan (jose.kahan@w3.org)
Date: Tue Oct 01 2002 - 11:19:03 CDT


Oops, I meant 8 extra chars, not 4 extra chars in my last message.
This brings the hashed file name to 16 chars (plus extension).

-jose


---------

This archive was generated by hypermail 2.1.5.