[polly] r197723 - www: Rename menu items

[Tobias Grosser]

Author: grosser
Date: Thu Dec 19 15:25:48 2013
New Revision: 197723

URL: http://llvm.org/viewvc/llvm-project?rev=197723&view=rev
Log:
www: Rename menu items

Modified:
    polly/trunk/www/menu.html.incl

Modified: polly/trunk/www/menu.html.incl
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/menu.html.incl?rev=197723&r1=197722&r2=197723&view=diff
==============================================================================
--- polly/trunk/www/menu.html.incl (original)
+++ polly/trunk/www/menu.html.incl Thu Dec 19 15:25:48 2013
@@ -12,9 +12,9 @@
   <div class="submenu">
     <label>Development </label>
     <a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits">
-      llvm-commits Mailing List
+      Mailing List (commits/patches)
     </a>
-    <a href="http://groups.google.com/group/polly-dev">polly-dev Mailing List</a>
+    <a href="http://groups.google.com/group/polly-dev">Mailing List (discussion)</a>
     <a href="/bugs.html">Bug Reports</a>
     <a href="http://lab.llvm.org:8011/console?category=polly">Buildbot</a>
     <a href="http://buildd-clang.debian.net/coverage/">Code Coverage</a>