
7 Jun
2006
7 Jun
'06
12:29 p.m.
On Mon, 5 Jun 2006 18:26:01 +0200, "Pavel Vozenilek" <pavel_vozenilek@hotmail.com> wrote:
A new library, intended as a replacement of boost::timer but with higher precision is being developed by Philippe Vaucher
Ok. But shouldn't we fix the current one anyway? --Gennaro.