Christian Neumüller 90694bc3b9 Guard diagnostic_information against null what()		2019-03-11 17:56:55 +01:00
..
exception	Guard diagnostic_information against null what()	2019-03-11 17:56:55 +01:00
exception_ptr.hpp	Suppressing warnings. Please report any problems (may have broken something!)	2009-12-01 02:16:50 +00:00