Sylvain Pion eae803dd08 Rename Timer to Profiling_tools.		2008-08-22 16:24:40 +00:00
..
BUGFIX_NUMBER	…
MAJOR_NUMBER	…
MINOR_NUMBER	trunk goes towards 3.4 now.	2007-05-08 08:52:49 +00:00
include_in_release	Rename Timer to Profiling_tools.	2008-08-22 16:24:40 +00:00