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/installation/prefixes-sandboxing.rst | |
parent | shell: Fix header levels. (diff) | |
download | rtems-docs-aa1c010e313ed4067e4d477f048cc6f0350b5e97.tar.bz2 |
user: Fix header levels.
Diffstat (limited to '')
-rw-r--r-- | user/installation/prefixes-sandboxing.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user/installation/prefixes-sandboxing.rst b/user/installation/prefixes-sandboxing.rst index c797a1f..f91def6 100644 --- a/user/installation/prefixes-sandboxing.rst +++ b/user/installation/prefixes-sandboxing.rst @@ -6,7 +6,7 @@ .. _prefixes: Prefixes --------- +======== .. index:: Prefixes |