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