From bc64b3d56666fff062b95dba91e0e7ae69daf1ce Mon Sep 17 00:00:00 2001 From: Michael Kohlhase Date: Fri, 25 Jan 2019 10:41:03 +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 6722362..6993c03 100644 --- a/base/proposal.dtx +++ b/base/proposal.dtx @@ -2794,4 +2794,4 @@ joint&\multicolumn{\the@site}{l|}{\jpub $\hat=$ publication, \jpro $\hat=$ proje % End: % LocalWords: 9,maxcitenames multilinguality 2pt,color 2,title 5,step true,giveninits % LocalWords: 9,maxcitenames hide,marginnote show,marginnote if@taskshowwps 2pt,color -% LocalWords: 2,title +% LocalWords: 2,title 5,step 9,maxcitenames 2pt,color 2,title