From ca383739ab4beb82b60254786e06cde545da9a76 Mon Sep 17 00:00:00 2001 From: Jose Diaz-Gonzalez Date: Wed, 30 Dec 2020 02:44:20 -0500 Subject: [PATCH] docs: add github discussions link to header --- docs/home.html | 3 +++ docs/template.html | 3 +++ 2 files changed, 6 insertions(+) diff --git a/docs/home.html b/docs/home.html index 614d7d591..748ee4b03 100644 --- a/docs/home.html +++ b/docs/home.html @@ -91,6 +91,9 @@ + diff --git a/docs/template.html b/docs/template.html index b86b4de90..71177f27a 100644 --- a/docs/template.html +++ b/docs/template.html @@ -84,6 +84,9 @@ +