From: David Abrahams (dave_at_[hidden])
Date: 2002-10-25 12:02:54


"William E. Kempf" <wekempf_at_[hidden]> writes:

> Should mixed case (or even capitalized) file names even be allowed?

My sense is that they shouldn't.

-- 
                    David Abrahams
dave_at_[hidden] * http://www.boost-consulting.com