From bb92f2ee29db4a6fd43df2d0ce873baa25e69eee Mon Sep 17 00:00:00 2001
From: Michael Hackstein <michael@arangodb.com>
Date: Tue, 21 May 2013 14:02:07 +0200
Subject: [PATCH] GraphViewer: Added NodeReducer to index.html of WebInterface

---
 html/admin/index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/html/admin/index.html b/html/admin/index.html
index 1ff35e8b67..3f43b8de3f 100644
--- a/html/admin/index.html
+++ b/html/admin/index.html
@@ -110,6 +110,7 @@
   <script src="js/graphViewer/graph/edgeShaper.js"></script>
   <script src="js/graphViewer/graph/arangoAdapter.js"></script>
   <script src="js/graphViewer/graph/zoomManager.js"></script>
+  <script src="js/graphViewer/graph/nodeReducer.js"></script>
   
   <script type="text/javascript" src="js/graphViewer/ui/modalDialogHelper.js"></script>
   <script type="text/javascript" src="js/graphViewer/ui/nodeShaperControls.js"></script>