git.iko.soy/Idris-dev
on master help sign in
update copyright notice to 2019
40c7a8aMartin Baker
docs/conf.py+1−1
compare with master
unifiedsplit
@@ -51,7 +51,7 @@ master_doc = 'index'
51
51
52# General information about the project.
52# General information about the project.
53project = u'Idris'
53project = u'Idris'
54−copyright = u'2017, The Idris Community'
54+copyright = u'2017-2019, The Idris Community'
55author = u'The Idris Community'
55author = u'The Idris Community'
56
56
57# The version info for the project you're documenting, acts as replacement for
57# The version info for the project you're documenting, acts as replacement for