From 5794c8f1f5e48dea6afe808e374265ca69f7419a Mon Sep 17 00:00:00 2001
From: ulrich
Date: Fri, 01 Jan 2021 11:39:12 +0000
Subject: [PATCH] Logging-Einstellungen ausgeschaltet und die MEthode zur Bestimmung des Daten-Ordners angepasst.
---
web/ui/index.html | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/web/ui/index.html b/web/ui/index.html
index 83921f0..cf3860f 100644
--- a/web/ui/index.html
+++ b/web/ui/index.html
@@ -136,6 +136,7 @@
<a id="m-test-3" class="dropdown-item" href="#">Compile all</a>
<a id="m-compile-results" class="dropdown-item" href="#">Compile results</a>
<a id="m-build-app" class="dropdown-item" href="#">Build app</a>
+ <a id="m-ant-build" class="dropdown-item" href="#">Ant build</a>
<div class="dropdown-divider"></div>
<a id="profil" class="dropdown-item" href="/um/profil">Profil</a>
<a id="logout" class="dropdown-item" href="#">Abmelden</a>
--
Gitblit v1.9.3