Subject: Re: cache_*() case-insensitive searching
To: None <>
From: Jaromir Dolecek <>
List: tech-kern
Date: 08/16/1999 10:13:03
Just a though - is it worth the efford ? It's pretty uncommon
people would use file name with other-than-"right" case.

Jaromir Dolecek <>
"The only way how to get rid temptation is to yield to it." -- Oscar Wilde