Andreas Fabri e24a089ae8 The class std::iterator got deprecated. It only served to define some types		2018-05-15 22:26:17 +02:00
..
boost	The class std::iterator got deprecated. It only served to define some types	2018-05-15 22:26:17 +02:00
Has_nested_type_Bare_point.h	add missing URL and Id tags	2017-11-15 22:58:57 +01:00
info_check.h	add SPDX identifier for files under the LGPL-3+ license	2017-11-12 10:17:50 +01:00