diff options
Diffstat (limited to '')
-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* |