From: Christoph Egger <christoph@christoph-egger.org>
Date: Tue, 25 Aug 2020 09:49:10 +0000 (+0300)
Subject: adapt name
X-Git-Url: https://git.siccegge.de//index.cgi?a=commitdiff_plain;h=a8c5aeaa76475d3d1a0945d9c50896f02af88f29;p=ssp%2Fdoc.git

adapt name
---

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'