diff options
Diffstat (limited to 'www/menu.html.incl')
| -rw-r--r-- | www/menu.html.incl | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/www/menu.html.incl b/www/menu.html.incl deleted file mode 100644 index 7f2e4e33..00000000 --- a/www/menu.html.incl +++ /dev/null @@ -1,31 +0,0 @@ -<div id="menu"> - <div> - <a href="http://klee.llvm.org/">KLEE Home</a> - </div> - - <div class="submenu"> - <label>KLEE Info</label> - <a href="GetStarted.html">Getting Started</a> - <a href="GetInvolved.html">Get Involved</a> - <a href="Documentation.html">Documentation</a> - <a href="Tutorials.html">Tutorials</a> - <a href="Publications.html">Publications</a> - <a href="OpenProjects.html">Open Projects</a> - </div> - - <div class="submenu"> - <label>Quick Links</label> - <a href="klee-dev.html">klee-dev (mailing list)</a> - <a href="GetInvolved.html#BugReports">Bug Reports</a> - <a href="http://llvm.org/">LLVM Home</a> - </div> - - <div class="submenu"> - <label>Development & Code</label> - <a href="http://klee.minormatter.com:8010/">Buildbot</a> - <a href="http://llvm.org/svn/llvm-project/klee/trunk/">Browse SVN</a> - <a href="http://llvm.org/viewvc/llvm-project/klee/trunk/">Browse ViewVC</a> - <a href="http://test.minormatter.com/~ddunbar/klee-doxygen/index.html">Browse Doxygen</a> - <a href="http://test.minormatter.com/~ddunbar/klee-cov/index.html">Testing Coverage</a> - </div> -</div> |