From 22987e1922bdf3f3e01494821a94ef48e293db2b Mon Sep 17 00:00:00 2001
From: Jan Michel <j.michel@gsi.de>
Date: Tue, 14 Oct 2014 11:55:12 +0200
Subject: [PATCH] added some links to document server

---
 WebConfig.pm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/WebConfig.pm b/WebConfig.pm
index 29b6147..845a643 100644
--- a/WebConfig.pm
+++ b/WebConfig.pm
@@ -25,6 +25,7 @@ our $menues = {
                 ["git","Git Repository"],
                 ["hades","HADES"],
                 ["cbm","CBM-MVD"],
+                ["electronics","Electronics"],
                 ],
          
 };
-- 
2.43.0