From c0b18618f469db92ff8b1649399c4b9c40d0e74b Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Thu, 9 Dec 2010 23:26:44 +0000
Subject: Added a webpage on KLEE-related publications.

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

(limited to 'www/menu.html.incl')

diff --git a/www/menu.html.incl b/www/menu.html.incl
index 7e73fb16..abb26a91 100644
--- a/www/menu.html.incl
+++ b/www/menu.html.incl
@@ -9,6 +9,7 @@
     <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>
   </div>
 
   <div class="submenu">
-- 
cgit 1.4.1