This web mail archive is frozen.
This page is part of a frozen web archive of this mailing list.
You can still navigate around this archive, but know that no new mails
have been added to it since July of 2016.
Click here to be taken to the new web archives of this list; it includes all the mails that are in this frozen archive plus all new mails that have been sent to the list since it was migrated to the new archives.
On Oct 8, 2009, at 7:51 AM, Jeff Squyres (jsquyres) wrote:
> Ah. Whoops. I'll fix. :-)
Hmm. I seems that Samuel was right the first time -- I poked around
and I can't find any way to exclude a file from the files listing. I
think our choices are:
1. do nothing
2. use a more common filename that people will know/assume to ignore
3. disable the files listing
Got a preference?