Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/torch/torch.github.io.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSoumith Chintala <soumith@gmail.com>2015-06-02 08:26:06 +0300
committerSoumith Chintala <soumith@gmail.com>2015-06-02 08:26:06 +0300
commit737b1995bd3899d3def769822386c56f2df5d226 (patch)
treea9763f966bb212e6f62e5846eaa114e93c05fe2d /_includes
parentafe3eaa0a118df260da4d76ed8128ca2c1b37a98 (diff)
...
Diffstat (limited to '_includes')
-rw-r--r--_includes/header.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/_includes/header.html b/_includes/header.html
index a4e4943..16e8b35 100644
--- a/_includes/header.html
+++ b/_includes/header.html
@@ -30,7 +30,7 @@
</a>
<ul>
<li><a href="/docs/getting-started.html#_"
- {% if (page.id != 'about-torch') and (page.sectionid == 'docs') %}
+ {% if (page.id != 'about-torch') and (page.sectionid == 'docs') and (page.id != 'cvpr15') %}
class="active" {% endif %}>
Docs
</a></li>