idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-24 15:07:37 +03:00
Code Issues Projects Releases Wiki Activity

fixed whitespace for *.py files

Browse Source
This commit is contained in:
stefan-hoeck 2021-01-22 14:24:33 +01:00 committed by G. Allais
parent a52fbfb096
commit 1218abfa18
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/source/conf.py
View File

@ -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