diff options
Diffstat (limited to 'doc/docs.html')
| -rw-r--r-- | doc/docs.html | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/docs.html b/doc/docs.html index 5a5c8ee131..c0ced98de4 100644 --- a/doc/docs.html +++ b/doc/docs.html @@ -1,4 +1,6 @@ -<!-- title Documentation --> +<!--{ + "Title": "Documentation" +}--> <div class="left-column"> |