diff options
Diffstat (limited to 'doc/gnu_docs/rtems_tools_index.html')
| -rw-r--r-- | doc/gnu_docs/rtems_tools_index.html | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/doc/gnu_docs/rtems_tools_index.html b/doc/gnu_docs/rtems_tools_index.html deleted file mode 100644 index 92ddd2b1b8..0000000000 --- a/doc/gnu_docs/rtems_tools_index.html +++ /dev/null @@ -1,15 +0,0 @@ -<HTML> -<HEAD><TITLE>RTEMS and Tools On-Line Library</TITLE></HEAD> -<BODY BGCOLOR="FFFFFF"> -<A HREF="http://www.rtems.com" target="Text Frame"> - <IMG align=right BORDER=0 SRC="rtemsdoc/html/images/rtems_logo.jpg" ALT="RTEMS Logo"> </A> -<H1>RTEMS and Tools On-Line Library</H1> -<HR> -<BODY> -<MENU> - <LI><A HREF="rtemsdoc/html/index.html">RTEMS Documentation</A></LI> - <LI><A HREF="toolsdoc/html/index.html">GNU Documentation</A></LI> -</MENU> -<HR> -Copyright © 1988-2004 <A HREF="http://www.oarcorp.com" target="Text Frame">OAR Corporation</A> -</BODY></HTML> |