From 1218abfa1888df56b170d1cde5adcdca66351cec Mon Sep 17 00:00:00 2001 From: stefan-hoeck Date: Fri, 22 Jan 2021 14:24:33 +0100 Subject: [PATCH] fixed whitespace for *.py files --- docs/source/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index 29122d6fd..16a9b31fa 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -1,6 +1,6 @@ # Configuration file for the Sphinx documentation builder. # -# Idris Manual documentation build configuration file, created by +# Idris Manual documentation build configuration file, created by # sphinx-quickstart on Apr 13, 2020. # # This file is execfile()d with the current directory set to its