diff options
Diffstat (limited to 'doc/gnu_docs/gnu_header.html')
-rw-r--r-- | doc/gnu_docs/gnu_header.html | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/gnu_docs/gnu_header.html b/doc/gnu_docs/gnu_header.html deleted file mode 100644 index b026963f13..0000000000 --- a/doc/gnu_docs/gnu_header.html +++ /dev/null @@ -1,5 +0,0 @@ -<BODY BGCOLOR="FFFFFF"> -<A HREF="http://www.rtems.com" target="Text Frame"> - <IMG align=right BORDER=0 SRC="../images/rtems_logo.jpg" ALT="RTEMS Logo"></A> -<H1>RTEMS GNU Tools On-Line Library</H1> -<HR> |