From f59dcede93351149bb5ff99c9310f467efd0d660 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Tue, 17 Nov 2020 15:54:25 +0000
Subject: [PATCH] Ant build begonnen
---
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