search

OpenMath / OpenMath.github.io

For the OpenMath.org website
https://openmath.github.io/
5 stars 10 forks source link

Fix closing tags #56

Closed paulmasson closed 6 years ago

kohlhase commented 6 years ago

Oh, thanks, well-spotted.