From ce483d29a4405bf5322eb2a7a4bb211dfcb3096d Mon Sep 17 00:00:00 2001 From: Ashwin Maroli Date: Sun, 10 May 2020 14:59:24 +0530 Subject: [PATCH] Site: Filter through just the docs collection (#8170) Merge pull request 8170 --- docs/_includes/docs_contents.html | 2 +- docs/_includes/docs_contents_mobile.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/_includes/docs_contents.html b/docs/_includes/docs_contents.html index f46df08f..931500a9 100644 --- a/docs/_includes/docs_contents.html +++ b/docs/_includes/docs_contents.html @@ -4,7 +4,7 @@

{{ section.title }}