Commit be04f20a authored by Michael Kohlhase's avatar Michael Kohlhase

Merge branch 'master' of gl.kwarc.info:kwarc/kwarc.info/www

parents 3a6efcc8 93bc8ff8
Pipeline #1647 passed with stage
in 2 minutes and 33 seconds