Merge branch 'master' of gl.kwarc.info:mathhub/data-proposal

This commit is contained in:
Michael Kohlhase 2019-01-25 10:41:03 +01:00
parent 6d83f8bf91
commit bc64b3d566

View File

@ -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