Rename Timer to Profiling_tools.

This commit is contained in:
Sylvain Pion 2008-08-22 16:24:40 +00:00
parent b6b02f0ebc
commit eae803dd08
1 changed files with 1 additions and 1 deletions

View File

@ -78,6 +78,7 @@ Polyhedron_IO
Polynomial
Polytope_distance_d
Principal_component_analysis
Profiling_tools
QP_solver
Qt_widget
Random_numbers
@ -100,7 +101,6 @@ Surface_mesh_parameterization
Surface_mesh_simplification
Surface_reconstruction_3
Testsuite
Timer
Trapezoidal_decomposition
Triangulation_2
Triangulation_3