From 996e1c3a2080d6cb62edf9c7b5357a8d333729f4 Mon Sep 17 00:00:00 2001
From: catbref <misc-github@talk2dom.com>
Date: Thu, 23 Jan 2020 12:40:20 +0000
Subject: [PATCH] Fix node-management-ui placeholder wrt. reproducible builds

---
 src/main/resources/node-management-ui            | 1 -
 src/main/resources/node-management-ui/index.html | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 120000 src/main/resources/node-management-ui
 create mode 100644 src/main/resources/node-management-ui/index.html

diff --git a/src/main/resources/node-management-ui b/src/main/resources/node-management-ui
deleted file mode 120000
index 0e48cc17..00000000
--- a/src/main/resources/node-management-ui
+++ /dev/null
@@ -1 +0,0 @@
-../../../../node-UI
\ No newline at end of file
diff --git a/src/main/resources/node-management-ui/index.html b/src/main/resources/node-management-ui/index.html
new file mode 100644
index 00000000..5dffd921
--- /dev/null
+++ b/src/main/resources/node-management-ui/index.html
@@ -0,0 +1 @@
+Node UI goes here!