Andreas Fabri ca6a306815 Rename TimeStamper::key() to hash_value() and let it return a size_t

2016-04-19 17:03:52 +02:00

..

CGAL

Rename TimeStamper::key() to hash_value() and let it return a size_t

2016-04-19 17:03:52 +02:00