Andreas Fabri 6b8dd6beed Fix make_property_map(std::vector&) for an empty vector		2018-05-22 17:48:36 +02:00
..
Dynamic_property_map.h	Property_map: Remove unused parameter (leading to a warning)	2018-02-07 07:37:45 +00:00
Index_property_map.h	add SPDX identifier for files under the LGPL-3+ license	2017-11-12 10:17:50 +01:00
property_map.h	Fix make_property_map(std::vector&) for an empty vector	2018-05-22 17:48:36 +02:00