2012-09-28 20:21:14 +02:00
|
|
|
// This file is only here to verify (to the extent possible) the self sufficiency of the header
|
2016-11-09 23:55:32 +01:00
|
|
|
#include "internal/catch_suppress_warnings.h"
|
2017-09-07 12:24:33 +02:00
|
|
|
#include "internal/catch_console_colour.h"
|