diff options
author | Chris Johns <chrisj@rtems.org> | 2016-11-09 12:20:46 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-11-09 12:20:46 +1100 |
commit | aa1c010e313ed4067e4d477f048cc6f0350b5e97 (patch) | |
tree | 81a11b93effebbea497262aff02a0b7accc390ca /user/tools/build.rst | |
parent | shell: Fix header levels. (diff) | |
download | rtems-docs-aa1c010e313ed4067e4d477f048cc6f0350b5e97.tar.bz2 |
user: Fix header levels.
Diffstat (limited to 'user/tools/build.rst')
-rw-r--r-- | user/tools/build.rst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/user/tools/build.rst b/user/tools/build.rst index 570fb41..3482cc2 100644 --- a/user/tools/build.rst +++ b/user/tools/build.rst @@ -5,7 +5,6 @@ Build Tools .. index:: Tools, rtems-config, rtems-cc - rtems-config ------------ |