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