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/hosts/os.rst | |
parent | shell: Fix header levels. (diff) | |
download | rtems-docs-aa1c010e313ed4067e4d477f048cc6f0350b5e97.tar.bz2 |
user: Fix header levels.
Diffstat (limited to 'user/hosts/os.rst')
-rw-r--r-- | user/hosts/os.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user/hosts/os.rst b/user/hosts/os.rst index 9197144..a120ec2 100644 --- a/user/hosts/os.rst +++ b/user/hosts/os.rst @@ -6,7 +6,7 @@ .. _host-os: Host Operating Systems -~~~~~~~~~~~~~~~~~~~~~~ +====================== .. sidebar:: *GDB and Python* |