removed autocrawler and feedback servlet link since that was not

cherry-picked
13 years ago · dd020a1a8a
parent bbfc53b663
commit dd020a1a8a
1 changed files with 1 additions and 3 deletions
--- a/htroot/env/templates/header.template
+++ b/htroot/env/templates/header.template
@ -28,8 +28,6 @@
    <ul class="menu">
      <li><a href="/AugmentedBrowsing_p.html" class="MenuItemLink lock">Augmented Browsing</a></li>
      <li><a href="/AugmentedParsing_p.html" class="MenuItemLink lock">Augmented Parsing</a></li>
-      <li><a href="/Autocrawler_p.html" class="MenuItemLink lock">Auto Crawler</a></li>
-      <li><a href="/Feedback_p.html" class="MenuItemLink lock">Feedback</a></li>     
      <li><a href="/Triplestore_p.html" class="MenuItemLink lock">Triplestore</a></li>
    </ul>
  </li>