diff options
| author | Chris Johns <chrisj@rtems.org> | 2016-11-09 13:57:54 +1100 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2016-11-09 13:57:54 +1100 |
| commit | 5fe847f7244417cc377fa8c6f6bee6e3d567b17a (patch) | |
| tree | e4eed71254e075e07b17f05c6a307b02946a6e22 /develenv/utilities.rst | |
| parent | eclipse: Fix heading levels. (diff) | |
| download | rtems-docs-5fe847f7244417cc377fa8c6f6bee6e3d567b17a.tar.bz2 | |
develenv: Fix header levels.
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, |