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

Update docs copyright notice from 2020 to 2023 (#3001)

Browse Source 
Co-authored-by: CodingCellist <teh6@st-andrews.ac.uk>
This commit is contained in:
Noam Yorav-Raphael 2023-07-05 18:39:12 +03:00 committed by GitHub
parent 754f6af55c
commit d4a8c95fe3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

@ -26,7 +26,7 @@ import sphinx_rtd_theme
# General information about the project.
project = 'Idris2'
copyright = '2020, The Idris Community'
copyright = '2020-2023, The Idris Community'
author = 'The Idris Community'
# The short X.Y version.