update copyright notice to 2019
commit40c7a8a5425ddc05c1723dc70fe3446d48662917
authorMartin Baker <git87465@martinb.com>
dateThu 16 May 2019, 15:03 (7 years ago)
parentae9484a
docs/conf.py+1−1
@@ -51,7 +51,7 @@ master_doc = 'index'
5151
5252# General information about the project.
5353project = u'Idris'
54−copyright = u'2017, The Idris Community'
54+copyright = u'2017-2019, The Idris Community'
5555author = u'The Idris Community'
5656
5757# The version info for the project you're documenting, acts as replacement for