From: Rozental, Gennadiy (Gennadiy_at_[hidden])
Date: 2002-08-14 15:14:29
> Seems like most people want the library directories to be called simply
'time'.
> 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?
Gennadiy.