diff options
Diffstat (limited to 'polly/www/documentation/passes.html')
| -rw-r--r-- | polly/www/documentation/passes.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/polly/www/documentation/passes.html b/polly/www/documentation/passes.html index c63ebe752fc..9345ac65164 100644 --- a/polly/www/documentation/passes.html +++ b/polly/www/documentation/passes.html @@ -9,6 +9,7 @@ <link type="text/css" rel="stylesheet" href="../content.css"> </head> <body> +<div id="box"> <!--#include virtual="../menu.html.incl"--> <div id="content"> <!--*********************************************************************--> @@ -63,5 +64,6 @@ </ul> </div> +</div> </body> </html> |
