summaryrefslogtreecommitdiff
path: root/doc/_extensions
diff options
context:
space:
mode:
authorXavier Morel <xmo@odoo.com>2015-07-07 16:02:23 +0200
committerXavier Morel <xmo@odoo.com>2015-07-07 16:31:48 +0200
commit41ee29119d17c33376d4ee574da6b4d7b102cc92 (patch)
treed3bf41719e21d193b0b1a8b0bdab12852694b74d /doc/_extensions
parent24556120e78e4d38f762c7e8dfc083d231cebcb4 (diff)
[REM] doc: unnecessary sidebar title/heading
Diffstat (limited to 'doc/_extensions')
-rw-r--r--doc/_extensions/odoo/layout.html1
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/_extensions/odoo/layout.html b/doc/_extensions/odoo/layout.html
index 699170d3e5c..0f9661ba6de 100644
--- a/doc/_extensions/odoo/layout.html
+++ b/doc/_extensions/odoo/layout.html
@@ -99,7 +99,6 @@
<span class="logo"></span>
Documentation
</div>
- <h3 class="muted">Contents</h3>
{{ toc }}
{% if github_link %}
<p class="gith-container"><a href="{{ github_link(mode='edit') }}" class="gith-link">