From: Beman Dawes (bdawes_at_[hidden])
Date: 2002-08-14 15:46:49
At 04:14 PM 8/14/2002, Rozental, Gennadiy wrote:
>> Seems like most people want the library directories to be called simply
>> I'm going to change it to that unless someone speaks up soon....
>Does not we have timer already? Would not it be a bit confusing?
I thought about that, but think that there is enough difference in meaning
that "time" and "timer" don't conflict all that badly.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk