removing an extra div (#1660)

tulinkry · Vladimir Kotal · commit 4d7c5ec3c935 · 2017-07-08T09:43:08.000+02:00
fixes #1509
diff --git a/web/index.jsp b/web/index.jsp
@@ -57,7 +57,6 @@ include file="menu.jspf"
         </div>
         <div id="results">
             <%= PageConfig.get(request).getEnv().getConfiguration().getBodyIncludeFileContent() %>
-        </div>
         <%@
 
 include file="repos.jspf"
