diff options
| -rw-r--r-- | doc/installation_develop.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/installation_develop.html b/doc/installation_develop.html index 7694bf3..0cd7592 100644 --- a/doc/installation_develop.html +++ b/doc/installation_develop.html @@ -37,7 +37,7 @@ <div class="content"> -<h1 class="content">Building the development version<h1> +<h1 class="content">Building the development version</h1> <p class="content"> The latest release is usually lagging behind current development. If you want to check |