Andreas Fabri b1538b9283 remove wrong comment

2008-11-07 08:00:28 +00:00

..

doc_tex

remove wrong comment

2008-11-07 08:00:28 +00:00

examples/Profiling_tools

Rename Timer to Profiling_tools (subdirectories).

2008-08-22 16:22:41 +00:00

include/CGAL

Fixed small bug on Windows: PROCESS_MEMORY_COUNTERS.PagefileUsage seems not very precise, thus we check it against PROCESS_MEMORY_COUNTERS.WorkingSetSize.

2008-10-02 13:30:56 +00:00

package_info/Profiling_tools

Rename Timer to Profiling_tools.

2008-08-22 16:23:56 +00:00

src/CGAL

Rename Timer to Profiling_tools (second try).

2008-08-22 16:20:59 +00:00

test/Profiling_tools

Use :Protect_FPU_rounding in order to restore rounding mode

2008-10-17 13:06:01 +00:00