Skip to content
Snippets Groups Projects
Commit 67dde70e authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

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

parents d63389d9 15790387
No related branches found
No related tags found
No related merge requests found
Pipeline #1442 passed
......@@ -22,7 +22,7 @@ supported-by:
logo: public/kwarc_logo.svg
website: http://search.mathweb.org
repository: http://githhub.com/KWARC/mws
repository: https://github.com/MathWebSearch/mws
publink: http://kwarc.github.io/bibs/mws
---
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment