From 7f768d21fdc430d1d04537a1c097ef02a4408d01 Mon Sep 17 00:00:00 2001 From: Adam Bem Date: Fri, 13 Jan 2023 17:07:16 +0100 Subject: [PATCH] Removed unused menu options (#1) Co-authored-by: bema Reviewed-on: https://gitea.release11.com/R11/release11-tools-web/pulls/1 Reviewed-by: Artur Kolecki Co-authored-by: Adam Bem Co-committed-by: Adam Bem --- Homepage/index.html | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/Homepage/index.html b/Homepage/index.html index 59ef461..7c39399 100644 --- a/Homepage/index.html +++ b/Homepage/index.html @@ -19,11 +19,7 @@
  • REST Mock
  • XPath
  • XSLT
  • -
  • JPK
  • -
  • Tool 5
  • -
  • Tool 6
  • -
  • Tool 7
  • -
  • Tool 8
  • +
  • XSD
  • @@ -32,4 +28,4 @@ - \ No newline at end of file +