Commit b8f59c85 authored by Michael Kohlhase's avatar Michael Kohlhase

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

parents 8cd57fa2 12dcfb80
Pipeline #557 passed with stage
in 24 seconds