diff options
author | Matthias Vogelgesang <matthias.vogelgesang@kit.edu> | 2016-11-17 08:00:17 +0100 |
---|---|---|
committer | Matthias Vogelgesang <matthias.vogelgesang@kit.edu> | 2016-11-17 08:00:17 +0100 |
commit | 0fd537f0f8ee5385cb05c8f567712b507109a24a (patch) | |
tree | b441ee527eba166dc15c34a05fd033aa029b9749 /docs/manual | |
parent | fe50b26305ece5591117a41e486c48b785f3dcc6 (diff) |
Fix manual heading
Diffstat (limited to 'docs/manual')
-rw-r--r-- | docs/manual/install/linux.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/install/linux.rst b/docs/manual/install/linux.rst index 219b3f0..f4f9d07 100644 --- a/docs/manual/install/linux.rst +++ b/docs/manual/install/linux.rst @@ -72,7 +72,7 @@ Additionally the following packages are recommended for some of the plugins:: openSUSE and CentOS7 -======== +==================== For openSUSE (zypper) and CentOS7 the following packages should get you started:: |