From bc684190df3b9fb9864218961707312db62e60a2 Mon Sep 17 00:00:00 2001
From: Michael Kuron <mkuron@icp.uni-stuttgart.de>
Date: Wed, 21 Feb 2018 15:43:02 +0100
Subject: [PATCH] Clean up filesystem includes

---
 src/core/Filesystem.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/core/Filesystem.h b/src/core/Filesystem.h
index 5ba210fc4..c7bdf2e12 100644
--- a/src/core/Filesystem.h
+++ b/src/core/Filesystem.h
@@ -28,9 +28,6 @@
 #include <experimental/filesystem>
 #else
 #include <boost/filesystem.hpp>
-#include <boost/filesystem.hpp>
-#include <boost/filesystem/path.hpp>
-#include <boost/filesystem/operations.hpp>
 #endif
 
 
-- 
GitLab