From a8c5aeaa76475d3d1a0945d9c50896f02af88f29 Mon Sep 17 00:00:00 2001
From: Christoph Egger <christoph@christoph-egger.org>
Date: Tue, 25 Aug 2020 12:49:10 +0300
Subject: [PATCH] adapt name

---
 source/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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'
 
-- 
2.39.5