diff options
Diffstat (limited to 'shell/index.rst')
-rw-r--r-- | shell/index.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/shell/index.rst b/shell/index.rst index 8dcf0bc..4081796 100644 --- a/shell/index.rst +++ b/shell/index.rst @@ -1,3 +1,7 @@ +.. COMMENT: COPYRIGHT (c) 1988-2008. +.. COMMENT: On-Line Applications Research Corporation (OAR). +.. COMMENT: All rights reserved. + ======================== RTEMS Shell User's Guide ======================== |