X-Git-Url: https://git.siccegge.de//index.cgi?p=ssp%2Fdoc.git;a=blobdiff_plain;f=source%2Fconf.py;fp=source%2Fconf.py;h=457140b02b2db177469a53b8310e301e031f568b;hp=4607261622c3f5dbe99b08ae755ccaa751eee109;hb=a8c5aeaa76475d3d1a0945d9c50896f02af88f29;hpb=8b5f35e44c214396bba65762c7c312af2b5ef17b diff --git a/source/conf.py b/source/conf.py index 4607261..457140b 100644 --- a/source/conf.py +++ b/source/conf.py @@ -19,7 +19,7 @@ # -- Project information ----------------------------------------------------- -project = 'SSP' +project = 'State Separation Proofs' copyright = '2020, Christoph Egger' author = 'Christoph Egger'