From 240f98d0f39450dde2264a9a5d9e5d34ba54293a Mon Sep 17 00:00:00 2001 From: James Turner Date: Wed, 6 Feb 2013 19:05:08 +0100 Subject: [PATCH] Remove un-needed header. --- src/Main/bootstrap.cxx | 1 - 1 file changed, 1 deletion(-) diff --git a/src/Main/bootstrap.cxx b/src/Main/bootstrap.cxx index 44b547da5..399f83540 100644 --- a/src/Main/bootstrap.cxx +++ b/src/Main/bootstrap.cxx @@ -49,7 +49,6 @@ #include #include -#include #include #include -- 2.39.5