Commit e1c77e0b authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

Merge branch 'master' of gl.kwarc.info:SIGMathLing/website

parents 61ea0dc6 7bd8350f
Pipeline #1734 passed with stage
in 2 minutes and 36 seconds