From 1bded2ffcd8421aea372d3f090b3f024fb6be143 Mon Sep 17 00:00:00 2001 From: XhmikosR Date: Mon, 17 Dec 2018 16:17:44 +0200 Subject: [PATCH] Update docs-navbar.html --- site/_includes/docs-navbar.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/site/_includes/docs-navbar.html b/site/_includes/docs-navbar.html index a61450fd7c..5589ef8b59 100644 --- a/site/_includes/docs-navbar.html +++ b/site/_includes/docs-navbar.html @@ -33,7 +33,7 @@