From c75f3a62b946cd053fe52d5592c33a8430447da3 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Tue, 22 Jan 2019 18:32:14 +0100
Subject: [PATCH] Merge branch 'master' of gl.kwarc.info:mathhub/data-proposal

---
 base/proposal.dtx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/proposal.dtx b/base/proposal.dtx
index 5747e35..0994cd2 100644
--- a/base/proposal.dtx
+++ b/base/proposal.dtx
@@ -2792,4 +2792,4 @@ joint&\multicolumn{\the@site}{l|}{\jpub $\hat=$ publication, \jpro $\hat=$ proje
 % mode: doctex
 % TeX-master: t
 % End:
-%  LocalWords:  9,maxcitenames multilinguality 2pt,color 2,title
+%  LocalWords:  9,maxcitenames multilinguality 2pt,color 2,title 5,step