diff options
Diffstat (limited to 'html/Stats/navigation.html')
| -rw-r--r-- | html/Stats/navigation.html | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/html/Stats/navigation.html b/html/Stats/navigation.html deleted file mode 100644 index 997733819d6..00000000000 --- a/html/Stats/navigation.html +++ /dev/null @@ -1,32 +0,0 @@ -<!-- $Id$ --> - -<DIV> -<CENTER> - <TABLE> - <TR> - <TD> - [<A href="index.shtml">Main Page</A>] - </TD> - <TD> - [<A href="footprint.shtml">Footprint</A>] - </TD> - <TD> - [<A href="compilation.shtml">Compilation </A>] - </TD> - <TD> - [<A href="performance.shtml">Performance</A>] - </TD> - </TR> - </TABLE> - <TABLE> - <TR> - <TD> - [<A href="configuration.shtml">Configuration</A>] - </TD> - <TD> - [<A href="http://www.dre.vanderbilt.edu/scoreboard">Nightly Regression</A>] - </TD> - </TR> - </TABLE> -</CENTER> -</DIV> |