From 2dc495e8fcbfe91b83735ebabf5820366150b80c Mon Sep 17 00:00:00 2001
From: Wolfgang Knopki <wolfgang.knopki@hft-stuttgart.de>
Date: Tue, 19 May 2020 16:23:43 +0000
Subject: [PATCH] Update headfoot.js, removed alertdiv

---
 js/headfoot.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/js/headfoot.js b/js/headfoot.js
index 0611e00..809838b 100755
--- a/js/headfoot.js
+++ b/js/headfoot.js
@@ -118,7 +118,6 @@ function head() {
     navbarcontainer.appendChild(navelements);
     navbar.appendChild(navbarcontainer)
 
-    navheader.appendChild(alertdiv);
     navheader.appendChild(navbar);
     prependChild(document.body, navheader);
 }
-- 
GitLab