diff options
| author | Stijn Buys <ingar@osirion.org> | 2012-12-16 11:47:08 +0000 |
|---|---|---|
| committer | Stijn Buys <ingar@osirion.org> | 2012-12-16 11:47:08 +0000 |
| commit | e21721492e09aa5c074982c7338b92c71a25debd (patch) | |
| tree | e7b16f88df262226f660c6040a68d5eabf002bb0 | |
| parent | 982a578a6d9c400919da3ac8ec24ef016ef8d696 (diff) | |
orrected HTML error.
| -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 |