From a3f0578ef770b657a62da83278b81e775a3af166 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Tue, 12 May 2009 07:48:09 +0000
Subject: Add a few useful links

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@71546 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/menu.html.incl | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'www')

diff --git a/www/menu.html.incl b/www/menu.html.incl
index 191a2b14..dbfe7687 100644
--- a/www/menu.html.incl
+++ b/www/menu.html.incl
@@ -7,4 +7,11 @@
     <label>klee Info</label>
     <a href="index.html">About</a>
   </div>
+
+  <div class="submenu">
+    <label>Quick Links</label>
+    <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</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>
+  </div>
 </div>
-- 
cgit 1.4.1