Andreas Fabri e2d19b0c8d Replace NULL and Nullptr_t with nullptr and nullptr_t		2019-06-04 23:45:44 +02:00
..
Dynamic_property_map.h	Resolve conflicts between master and 4.14-based branch that fixes manifoldness	2019-05-07 10:34:16 +02:00
Index_property_map.h	…
property_map.h	Replace NULL and Nullptr_t with nullptr and nullptr_t	2019-06-04 23:45:44 +02:00