From 1d1b291248e6ebb3f59db90109241a6cb80a2f2d Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Sun, 11 Oct 2020 18:27:20 +0200 Subject: [PATCH] Update year in doc --- doc/source/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/source/conf.py b/doc/source/conf.py index 341cd09..e6ba967 100644 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -62,7 +62,7 @@ master_doc = 'index' # General information about the project. project = 'stormpy' -copyright = '2016-2019 Moves RWTH Aachen' +copyright = '2016-2020 Moves RWTH Aachen' author = 'Sebastian Junges, Matthias Volk' # The version info for the project you're documenting, acts as replacement for