Laurent Rineau 42b11ddf29 Revert the merge of PR #2478 ...

This reverts the merge commit 46cc91e787 onto
488c3e2879.

2018-01-04 17:54:08 +01:00

..

Dynamic_property_map.h

value_type -> reference

2017-11-06 11:48:05 +01:00

Index_property_map.h

…

property_map.h

Revert the merge of PR #2478

2018-01-04 17:54:08 +01:00