extractors to menu

quatrope · Dec 20, 2017 · 10ef238 · 10ef238
1 parent 759738f
commit 10ef238
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/doc/source/_static/custom.js b/doc/source/_static/custom.js
@@ -12,17 +12,12 @@ $(document).ready(function(){
         var title = $div.find("span.extractor-name").text().trim();
         var id = $div.find("div.panel-heading").attr("id");
 
-
-
         $ulFeaturesList.append("<li><a href='#" + id + "'>" + title + "</a></li>");
         $ulFeaturesList.find("a[href='#" + id + "']").click(function(){
             $allPanels.not($panel).collapse("hide");
             $panel.collapse('show');
             window.location.hash = "#" + id;
         });
-
-
-
     });
 
 });