Commit 48e13d9d authored by Markus Scheidgen's avatar Markus Scheidgen
Browse files

Merge branch 'master' of gitlab.mpcdf.mpg.de:nomad-lab/encyclopedia-gui

parents 20ea55f9 9711855b
Pipeline #46600 passed with stage
in 5 seconds