From e741bcd169920b6f015627e589e6fe4ce8a01fee Mon Sep 17 00:00:00 2001 From: Peter Repukat Date: Sat, 24 Sep 2022 16:21:04 +0200 Subject: [PATCH] Update github-pages (redir to glossi web-page) --- docs/_layouts/default.html | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index ebc2b8a..762b170 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -5,6 +5,8 @@ + + {% seo %}