From 537229104d36a72254e7549daa3836a04012a37b Mon Sep 17 00:00:00 2001
From: Patrick Wuttke <mewin@mewin.de>
Date: Sat, 1 Jul 2023 11:11:15 +0200
Subject: [PATCH] Data pool doesn't have any source...

---
 LibConf                           |  1 -
 source/mijin/memory/data_pool.cpp | 31 -------------------------------
 2 files changed, 32 deletions(-)
 delete mode 100644 source/mijin/memory/data_pool.cpp

diff --git a/LibConf b/LibConf
index 7bea541..f0593e3 100644
--- a/LibConf
+++ b/LibConf
@@ -5,7 +5,6 @@ mijin_sources = Split("""
     source/mijin/async/coroutine.cpp
     source/mijin/debug/symbol_info.cpp
     source/mijin/io/stream.cpp
-    source/mijin/memory/data_pool.cpp
     source/mijin/util/os.cpp
     source/mijin/types/name.cpp
     source/mijin/virtual_filesystem/filesystem.cpp
diff --git a/source/mijin/memory/data_pool.cpp b/source/mijin/memory/data_pool.cpp
deleted file mode 100644
index becc6c3..0000000
--- a/source/mijin/memory/data_pool.cpp
+++ /dev/null
@@ -1,31 +0,0 @@
-
-#include "data_pool.hpp"
-
-namespace mijin
-{
-
-//
-// internal defines
-//
-
-//
-// internal constants
-//
-
-//
-// internal types
-//
-
-//
-// internal variables
-//
-
-//
-// internal functions
-//
-
-//
-// public functions
-//
-
-} // namespace mijin