From e7d204dfd270e325e0b086cfb656138b3226267a Mon Sep 17 00:00:00 2001
From: Panagiotis Papadopoulos <pano_90@gmx.net>
Date: Fri, 21 Feb 2025 23:01:42 +0100
Subject: [PATCH] chore(copy-dist): remove now unneeded manual copying of
 bootstrap dir

webpack is taking care of that for us
---
 bin/copy-dist.ts | 1 -
 1 file changed, 1 deletion(-)

diff --git a/bin/copy-dist.ts b/bin/copy-dist.ts
index 6087a69bd..2a2b75d56 100644
--- a/bin/copy-dist.ts
+++ b/bin/copy-dist.ts
@@ -95,7 +95,6 @@ const copy = async () => {
         "node_modules/mark.js/dist/",
         "node_modules/normalize.css/",
         "node_modules/jquery.fancytree/dist/",
-        "node_modules/bootstrap/dist/",
         "node_modules/autocomplete.js/dist/",
         "node_modules/codemirror/lib/",
         "node_modules/codemirror/addon/",