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