From badce54e5ec8ab3f9579a237579778fe493f3720 Mon Sep 17 00:00:00 2001 From: Pascal Bauer Date: Sun, 6 Oct 2024 21:59:06 +0200 Subject: [PATCH] remove dead header Signed-off-by: Pascal Bauer --- .../villas/kernel/devices/platform_device.hpp | 1 - .../include/villas/kernel/devices/utils.hpp | 26 ------------------- 2 files changed, 27 deletions(-) delete mode 100644 common/include/villas/kernel/devices/utils.hpp diff --git a/common/include/villas/kernel/devices/platform_device.hpp b/common/include/villas/kernel/devices/platform_device.hpp index c6378eeb2..15e74cb53 100644 --- a/common/include/villas/kernel/devices/platform_device.hpp +++ b/common/include/villas/kernel/devices/platform_device.hpp @@ -11,7 +11,6 @@ #include #include #include -#include namespace villas { namespace kernel { diff --git a/common/include/villas/kernel/devices/utils.hpp b/common/include/villas/kernel/devices/utils.hpp deleted file mode 100644 index 9d4984892..000000000 --- a/common/include/villas/kernel/devices/utils.hpp +++ /dev/null @@ -1,26 +0,0 @@ -/* Utils - * - * Author: Pascal Bauer - * - * SPDX-FileCopyrightText: 2023-2024 Pascal Bauer - * SPDX-License-Identifier: Apache-2.0 - */ - -#pragma once - -#include -#include -#include - -namespace villas { -namespace kernel { -namespace devices { -namespace utils { - -void write_to_file(std::string data, const std::filesystem::path file); -std::vector read_names_in_directory(const std::string &name); - -} // namespace utils -} // namespace devices -} // namespace kernel -} // namespace villas