diff options
Diffstat (limited to 'develenv/utilities.rst')
| -rw-r--r-- | develenv/utilities.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/develenv/utilities.rst b/develenv/utilities.rst index ee57fa6..5670d9d 100644 --- a/develenv/utilities.rst +++ b/develenv/utilities.rst @@ -3,7 +3,7 @@ .. _rtems-specific-utilities: RTEMS Specific Utilities -######################## +************************ This section describes the additional commands available within the *RTEMS Development Environment*. Although some of these commands are of general use, |