From fc90eb9f27082e36d2ccf3c36757f08bbd5b4ea5 Mon Sep 17 00:00:00 2001 From: narimiran Date: Wed, 14 Oct 2020 09:26:44 +0200 Subject: [PATCH] change case in nimdoc [ci skip] --- config/nimdoc.cfg | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 67d619ea11..13beb5af1a 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -132,10 +132,10 @@ doc.body_toc_group = """ Index
  • - compiler docs + Compiler docs
  • - fusion docs + Fusion docs