diff options
Diffstat (limited to 'polly')
| -rw-r--r-- | polly/www/menu.html.incl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/www/menu.html.incl b/polly/www/menu.html.incl index 98fe65d026e..4a3e5ad785a 100644 --- a/polly/www/menu.html.incl +++ b/polly/www/menu.html.incl @@ -12,7 +12,7 @@ <div class="submenu"> <label>Development </label> <a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits"> - Mailing List (commits/patches) + Mailing List (patches) </a> <a href="http://groups.google.com/group/polly-dev">Mailing List (discussion)</a> <a href="/bugs.html">Bug Reports</a> |
